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