erictraut
commented
3 years ago I can't tell how you're calling AddComponent. Could you provide a more complete sample that demonstrates where you're seeing the problem?
You've defined a TypeVar T that is bound to Baz, which means that the TypeVar constraint solver will verify that the argument corresponding to parameter class_ is the Baz class or some class that derives from it.
Here's an example that demonstrates how this works.
from typing import TypeVar, Type
class Baz:
T = TypeVar("T", bound="Baz")
def AddComponent(self, class_: Type[T]) -> T:
...
class SubclassOfBaz(Baz):
...
result = Baz().AddComponent(SubclassOfBaz)
reveal_type(result) # SubclassOfBaz
rayzchen
Environment data
Expected behaviour
Return value is of the type I specified
Actual behaviour
Return value is of type
T@AddComponentLogs
Code Snippet / Additional information
When I call AddComponent, it returns a variable of type T@AddComponent
Shouldn't Pylance recognise T as being the class type?