Richard Smith 79ba184dab Provide a location for monomorphization failures resulting from TryToCompleteType. (#4670) ...

Almost all callers actually could never fail and nearly all of those
already `CHECK`-failed on failure. Add a new overload for that case, and
add a location parameter for the one remaining call.

2024-12-12 00:44:07 +00:00

..

adapter

Include a fully-qualified name when stringifying types. (#4657)

2024-12-11 16:33:53 +00:00

generic

Provide a location for monomorphization failures resulting from TryToCompleteType. (#4670)

2024-12-12 00:44:07 +00:00

no_prelude

Improve diagnostics for missing qualified names. (#4638)

2024-12-09 23:48:46 +00:00

access_modifers.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

base_field.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

base_function_unqualified.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

base_method_qualified.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

base_method_shadow.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

base_method.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

base.carbon

Remove return_slot_id (#4577)

2024-12-04 00:21:24 +00:00

basic.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

complete_in_member_fn.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

compound_field.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

cross_package_import.carbon

Include a fully-qualified name when stringifying types. (#4657)

2024-12-11 16:33:53 +00:00

derived_to_base.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_abstract.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

fail_addr_not_self.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_addr_self.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_base_as_declared_name.carbon

Move diagnostic kind name to the end of the diagnostic. (#4437)

2024-10-23 16:56:23 +00:00

fail_base_bad_type.carbon

Include a fully-qualified name when stringifying types. (#4657)

2024-12-11 16:33:53 +00:00

fail_base_method_define.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_base_misplaced.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_base_modifiers.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_base_no_extend.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_base_repeated.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_base_unbound.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_compound_type_mismatch.carbon

Include a fully-qualified name when stringifying types. (#4657)

2024-12-11 16:33:53 +00:00

fail_convert_to_invalid.carbon

Remove return_slot_id (#4577)

2024-12-04 00:21:24 +00:00

fail_derived_to_base.carbon

Include a fully-qualified name when stringifying types. (#4657)

2024-12-11 16:33:53 +00:00

fail_extend_cycle.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_field_modifiers.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

fail_generic_method.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

fail_import_misuses.carbon

Remove offsets from InstId formatting, trying to name more (#4645)

2024-12-06 21:17:24 +00:00

fail_incomplete.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

fail_init_as_inplace.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

fail_init.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

fail_memaccess_category.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_member_of_let.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_method_modifiers.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_method_redefinition.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_method.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_modifiers.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_out_of_line_decl.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_redeclaration_scope.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_redefinition.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_scope.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

fail_self_param.carbon

Facet types support rewrite (where .A =...) constraints (#4613)

2024-12-03 22:44:39 +00:00

fail_self_type_member.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_self.carbon

Include a fully-qualified name when stringifying types. (#4657)

2024-12-11 16:33:53 +00:00

fail_todo_local_class.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_unbound_field.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

fail_unknown_member.carbon

Improve diagnostics for missing qualified names. (#4638)

2024-12-09 23:48:46 +00:00

field_access_in_value.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

field_access.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

forward_declared.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

generic_method.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

generic.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

import_base.carbon

Remove offsets from InstId formatting, trying to name more (#4645)

2024-12-06 21:17:24 +00:00

import_forward_decl.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

import_indirect.carbon

Remove offsets from InstId formatting, trying to name more (#4645)

2024-12-06 21:17:24 +00:00

import_member_cycle.carbon

Remove offsets from InstId formatting, trying to name more (#4645)

2024-12-06 21:17:24 +00:00

import_struct_cyle.carbon

Remove offsets from InstId formatting, trying to name more (#4645)

2024-12-06 21:17:24 +00:00

import.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

inheritance_access.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

init_as.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

init_nested.carbon

Remove return_slot_id (#4577)

2024-12-04 00:21:24 +00:00

init.carbon

Remove return_slot_id (#4577)

2024-12-04 00:21:24 +00:00

method.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

nested_name.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

nested.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

raw_self_type.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

raw_self.carbon

Remove return_slot_id (#4577)

2024-12-04 00:21:24 +00:00

redeclaration_introducer.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

redeclaration.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

reenter_scope.carbon

Remove return_slot_id (#4577)

2024-12-04 00:21:24 +00:00

reorder_qualified.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

reorder.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

scope.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

self_conversion.carbon

Remove return_slot_id (#4577)

2024-12-04 00:21:24 +00:00

self_type.carbon

Remove return_slot_id (#4577)

2024-12-04 00:21:24 +00:00

self.carbon

Include a fully-qualified name when stringifying types. (#4657)

2024-12-11 16:33:53 +00:00

static_method.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

syntactic_merge_literal.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00

todo_access_modifiers.carbon

More instructions get named (#4615)

2024-12-03 20:47:53 +00:00

virtual_modifiers.carbon

Track complete types required by a generic. (#4652)

2024-12-10 03:00:28 +00:00