Type checker passes conformance tests reveal_type

[Glyphack]

Make sure type checker reveals correct types for tests in https://github.com/python/typing/blob/main/conformance

• directives_deprecated_library.py
• enums_member_values.py
• enums_member_values.pyi
• enums_members.py
• enums_members.pyi
• protocols_modules1.py
• protocols_modules2.py
• qualifiers_final_decorator.pyi
• aliases_explicit.py
• aliases_implicit.py
• aliases_newtype.py
• aliases_recursive.py
• aliases_type_statement.py
• aliases_typealiastype.py
• aliases_variance.py
• annotations_coroutines.py
• annotations_forward_refs.py
• annotations_generators.py
• annotations_methods.py
• annotations_typeexpr.py
• callables_annotation.py
• callables_kwargs.py
• callables_protocol.py
• callables_subtyping.py
• classes_classvar.py
• classes_override.py
• constructors_call_init.py
• constructors_call_metaclass.py
• constructors_call_new.py
• constructors_call_type.py
• constructors_callable.py
• constructors_consistency.py
• dataclasses_descriptors.py
• dataclasses_final.py
• dataclasses_frozen.py
• dataclasses_hash.py
• dataclasses_inheritance.py
• dataclasses_kwonly.py
• dataclasses_order.py
• dataclasses_postinit.py
• dataclasses_slots.py
• dataclasses_transform_class.py
• dataclasses_transform_converter.py
• dataclasses_transform_field.py
• dataclasses_transform_func.py
• dataclasses_transform_meta.py
• dataclasses_usage.py
• directives_assert_type.py
• directives_cast.py
• directives_deprecated.py
• directives_no_type_check.py
• directives_reveal_type.py
• directives_type_checking.py
• directives_type_ignore.py
• directives_type_ignore_file1.py
• directives_type_ignore_file2.py
• directives_version_platform.py
• enums_behaviors.py
• enums_definition.py
• enums_expansion.py
• enums_member_names.py
• enums_member_values.py
• enums_members.py
• exceptions_context_managers.py
• generics_base_class.py
• generics_basic.py
• generics_defaults.py
• generics_defaults_referential.py
• generics_defaults_specialization.py
• generics_paramspec_basic.py
• generics_paramspec_components.py
• generics_paramspec_semantics.py
• generics_paramspec_specialization.py
• generics_scoping.py
• generics_self_advanced.py
• generics_self_attributes.py
• generics_self_basic.py
• generics_self_protocols.py
• generics_self_usage.py
• generics_syntax_compatibility.py
• generics_syntax_declarations.py
• generics_syntax_infer_variance.py
• generics_syntax_scoping.py
• generics_type_erasure.py
• generics_typevartuple_args.py
• generics_typevartuple_basic.py
• generics_typevartuple_callable.py
• generics_typevartuple_concat.py
• generics_typevartuple_overloads.py
• generics_typevartuple_specialization.py
• generics_typevartuple_unpack.py
• generics_upper_bound.py
• generics_variance.py
• generics_variance_inference.py
• historical_positional.py
• literals_interactions.py
• literals_literalstring.py
• literals_parameterizations.py
• literals_semantics.py
• namedtuples_define_class.py
• namedtuples_define_functional.py
• namedtuples_type_compat.py
• namedtuples_usage.py
• narrowing_typeguard.py
• narrowing_typeis.py
• overloads_basic.py
• protocols_class_objects.py
• protocols_definition.py
• protocols_explicit.py
• protocols_generic.py
• protocols_merging.py
• protocols_modules.py
• protocols_recursive.py
• protocols_runtime_checkable.py
• protocols_self.py
• protocols_subtyping.py
• protocols_variance.py
• qualifiers_annotated.py
• qualifiers_final_annotation.py
• qualifiers_final_decorator.py
• specialtypes_any.py
• specialtypes_never.py
• specialtypes_none.py
• specialtypes_promotions.py
• specialtypes_type.py
• tuples_type_compat.py
• tuples_type_form.py
• tuples_unpacked.py
• typeddicts_alt_syntax.py
• typeddicts_class_syntax.py
• typeddicts_final.py
• typeddicts_inheritance.py
• typeddicts_operations.py
• typeddicts_readonly.py
• typeddicts_readonly_consistency.py
• typeddicts_readonly_inheritance.py
• typeddicts_readonly_kwargs.py
• typeddicts_readonly_update.py
• typeddicts_required.py
• typeddicts_type_consistency.py
• typeddicts_usage.py