fromtyping_extensionsimportFinal,Literal

importmypy.plugin# To avoid circular imports.

frommypy.applytypeimportapply_generic_arguments

frommypy.checkerimportTypeChecker

frommypy.errorcodesimportLITERAL_REQ

frommypy.expandtypeimportexpand_type

Decorator,

Expression,

FuncDef,

IndexExpr,

JsonDict,

LambdaExpr,

ListExpr,

SymbolTableNode,

TempNode,

TupleExpr,

TypeApplication,

TypeInfo,

TypeVarExpr,

Var,

frommypy.checkmemberimporttype_object_type# To avoid import cycle.

converter_type=type_object_type(converter_expr.node,ctx.api.named_type)

elif (

isinstance(converter_expr,IndexExpr)

andisinstance(converter_expr.analyzed,TypeApplication)

andisinstance(converter_expr.base,RefExpr)

andisinstance(converter_expr.base.node,TypeInfo)

):

frommypy.checkmemberimporttype_object_type# To avoid import cycle.

converter_type=type_object_type(converter_expr.base.node,ctx.api.named_type)

ifisinstance(converter_type,CallableType):

converter_type=apply_generic_arguments(

converter_type,

converter_expr.analyzed.types,

ctx.api.msg.incompatible_typevar_value,

converter_type,

)

else:

ifisinstance(converter_expr,LambdaExpr):

converter_info.init_type=AnyType(TypeOfAny.unannotated)

def __init__(self, x: T) -> None:

pass

def other_converter(x: Callable[..., T]) -> Other[Callable[..., T]]:

return Other(x)

@attr.s(auto_attribs=True)

class B(Generic[T]):

x: Other[Callable[..., T]] = attr.ib(converter=other_converter)

x: Other[Callable[..., T]] = attr.ib(converter=Other[Callable[..., T]])

b1 = B(get_int)

reveal_type(b1) # N: Revealed type is "__main__.B[builtins.int]"