Dana Jansens e12d1b6d6d Handle a specific providing ImplWitnessAccess for a symbolic binding used as a type (#6201) 6 mesi fa
..
access.carbon e12d1b6d6d Handle a specific providing ImplWitnessAccess for a symbolic binding used as a type (#6201) 6 mesi fa
aggregate_through_access.carbon e1b87ac2e1 Change IndexWith to use a standard binary operator setup (#6127) 7 mesi fa
call_combined_impl_witness.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
combine.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 mesi fa
convert_class_type_to_facet_type.carbon a6bb11f1cf Rearrange convert: construct FacetAccessType from a facet value before impl lookup instead of after (#6113) 7 mesi fa
convert_class_type_to_generic_facet_value.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
convert_class_value_to_facet_value_value.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
convert_class_value_to_generic_facet_value_value.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
convert_facet_type_to_facet_value.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 mesi fa
convert_facet_value_as_type_knows_original_type.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
convert_facet_value_to_facet_value.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 mesi fa
convert_facet_value_to_itself.carbon a6bb11f1cf Rearrange convert: construct FacetAccessType from a facet value before impl lookup instead of after (#6113) 7 mesi fa
convert_facet_value_to_narrowed_facet_type.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
convert_facet_value_value_to_blanket_impl.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) 7 mesi fa
convert_facet_value_value_to_generic_facet_value_value.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
convert_facet_value_value_to_itself.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
convert_interface.carbon a6bb11f1cf Rearrange convert: construct FacetAccessType from a facet value before impl lookup instead of after (#6113) 7 mesi fa
early_rewrites.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 mesi fa
facet_assoc_const.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) 7 mesi fa
fail_convert_class_type_to_generic_facet_value.carbon 49ba8cf3e1 Switch class to use a blanket impl for `Destroy` (#6125) 7 mesi fa
fail_convert_facet_value_to_missing_impl.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) 7 mesi fa
fail_convert_type_erased_type_to_facet.carbon 49ba8cf3e1 Switch class to use a blanket impl for `Destroy` (#6125) 7 mesi fa
fail_deduction_uses_runtime_type_conversion.carbon e682a6660d Avoid adding extraneous local instructions while importing witness table entries (#6180) 7 mesi fa
fail_incomplete.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 mesi fa
fail_namespace_type.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 mesi fa
named_constant.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 mesi fa
nested_facet_types.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 mesi fa
period_self.carbon 3d592ebe59 Support member access into the type of `(facet as type)` expressions as being into the facet's type (#6190) 7 mesi fa
runtime_value.carbon 3d592ebe59 Support member access into the type of `(facet as type)` expressions as being into the facet's type (#6190) 7 mesi fa
self_in_interface_param.carbon fe020ee08b Make FacetAccessType evaluate to SymbolicBindingType for type-of a BindSymbolicName (#6115) 7 mesi fa
tuple_and_struct_type_literal.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 mesi fa
validate_impl_constraints.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 mesi fa
validate_rewrite_constraints.carbon 9704dc670e Change the Destroy blanket impls to be more specific (#6098) 7 mesi fa