Dana Jansens 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 1 giorno fa
..
access.carbon 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 1 giorno fa
aggregate_through_access.carbon e1b87ac2e1 Change IndexWith to use a standard binary operator setup (#6127) 7 mesi fa
call_combined_impl_witness.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 5 giorni fa
combine.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 mesi fa
convert_class_type_to_facet_type.carbon 18f87e4f79 Include the type in the location of binding insts (#6963) 1 mese fa
convert_class_type_to_generic_facet_value.carbon 9266ced4e3 Improve CanDestroyType to handle remaining cases (#6943) 1 mese fa
convert_class_value_to_facet_value_value.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 5 giorni fa
convert_class_value_to_generic_facet_value_value.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 5 giorni fa
convert_facet_type_to_facet_value.carbon 18f87e4f79 Include the type in the location of binding insts (#6963) 1 mese fa
convert_facet_value_as_type_knows_original_type.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 5 giorni fa
convert_facet_value_to_facet_value.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 mesi fa
convert_facet_value_to_itself.carbon 18f87e4f79 Include the type in the location of binding insts (#6963) 1 mese fa
convert_facet_value_to_narrowed_facet_type.carbon 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 1 giorno fa
convert_facet_value_value_to_blanket_impl.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 5 giorni fa
convert_facet_value_value_to_generic_facet_value_value.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 5 giorni fa
convert_facet_value_value_to_itself.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 5 giorni fa
convert_interface.carbon e0c6800ab3 Reverse nesting structure of parameter patterns (#6930) 1 mese fa
early_rewrites.carbon d9841992cb Replace .Self in facet types (#7097) 1 settimana fa
facet_assoc_const.carbon 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 1 giorno fa
fail_convert_class_type_to_generic_facet_value.carbon 18f87e4f79 Include the type in the location of binding insts (#6963) 1 mese fa
fail_convert_facet_value_to_missing_impl.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 5 giorni fa
fail_convert_type_erased_type_to_facet.carbon 18f87e4f79 Include the type in the location of binding insts (#6963) 1 mese fa
fail_deduction_uses_runtime_type_conversion.carbon 9266ced4e3 Improve CanDestroyType to handle remaining cases (#6943) 1 mese fa
fail_namespace_type.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 mesi fa
identify_self_canonicalized.carbon 6359e3f550 Dedupe self values in identify facet type (#6819) 2 mesi fa
named_constant.carbon 77918d023b Make symbolic local bindings a TODO (#6449) 4 mesi fa
nested_facet_types.carbon fdb188ccfd Implement unused pattern bindings, continued (#6518) 2 mesi fa
partially_identified.carbon 18f87e4f79 Include the type in the location of binding insts (#6963) 1 mese fa
period_self.carbon 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 1 giorno fa
require_import.carbon 554b1b8d10 Remove SymbolicBindingType (#7114) 5 giorni fa
require_invalid.carbon d6be20641c Use earlier `require` decls inside a named constraint to provide witnesses for `Self` (#6915) 1 mese fa
require_satisified.carbon fbc8d59d32 Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761) 2 mesi fa
runtime_value.carbon e2bdbe8507 Make semir scope labels only print when non-empty (#6780) 2 mesi fa
self_in_interface_param.carbon 46bb0fecd4 Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132) 1 giorno fa
tuple_and_struct_type_literal.carbon 18f87e4f79 Include the type in the location of binding insts (#6963) 1 mese fa
tuple_and_struct_type_value.carbon 18f87e4f79 Include the type in the location of binding insts (#6963) 1 mese fa
validate_impl_constraints.carbon d9841992cb Replace .Self in facet types (#7097) 1 settimana fa
validate_rewrite_constraints.carbon d9841992cb Replace .Self in facet types (#7097) 1 settimana fa