mypy.erasetype

Class	`EraseTypeVisitor`	Undocumented
Class	`LastKnownValueEraser`	Removes the Literal[...] type that may be associated with any Instance types.
Class	`TypeVarEraser`	Implementation of type erasure
Function	`erase_type`	Erase any type variables from a type.
Function	`erase_typevars`	Replace all type variables in a type with any, or just the ones in the provided collection.
Function	`remove_instance_last_known_values`	Undocumented
Function	`replace_meta_vars`	Replace unification variables in a type with the target type.

def erase_type(typ): (source)

Erase any type variables from a type.

Also replace tuple types with the corresponding concrete types.

Examples:: A -> A B[X] -> B[Any] Tuple[A, B] -> tuple Callable[[A1, A2, ...], R] -> Callable[..., Any] Type[X] -> Type[Any]

def erase_typevars(t, ids_to_erase=None): (source)

Replace all type variables in a type with any, or just the ones in the provided collection.

Parameters
t:`Type`	Undocumented
ids_to_erase:`Optional[Container[TypeVarId]]`	Undocumented
Returns
`Type`	Undocumented

def remove_instance_last_known_values(t): (source)

Undocumented

def replace_meta_vars(t, target_type): (source)

Replace unification variables in a type with the target type.