How strong is a type annotation for a local variable supposed to be?

[frou]

In the following code, I'm surprised that kind ends up with the type Any.

Is this style of preceding type annotation for a local variable weaker than I thought?

kind: PageKind
kind, route_vars = ROUTES.bind_to_environ(request.environ).match()
reveal_type(kind) # Any

(the match method has return type tuple[Any, Mapping[str, Any]])

[yangdanny97]

This seems related to #2227

I do agree that the current behavior described in your example is undesirable