Özgür T. Önsoy cb5e9b6555 Diagnose missing interface definition in impl files (#7622) ...

We can now implement this since #4071 is resolved.

2026-08-11 21:06:17 +00:00

..

as_type_of_type.carbon

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00

as_type.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

assoc_const_in_generic.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

assoc_const.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

basic.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

compound_member_access.carbon

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00

default_fn.carbon

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00

export_name.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_add_member_outside_definition.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_assoc_const_alias.carbon

Avoid symbolic witnesses for .Self in an impl decl (#7564)

2026-07-29 16:25:23 +00:00

fail_assoc_const_bad_default.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_assoc_fn_invalid_use.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_definition_imported.carbon

Handle import refs in TryGetExistingDecl (#7620)

2026-08-11 19:29:46 +00:00

fail_duplicate.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_generic_redeclaration.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_lookup_in_type_type.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_lookup_undefined.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_member_lookup.carbon

Don't require non-class types to be complete to convert from them (#7590)

2026-07-31 17:35:21 +00:00

fail_modifiers.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_redeclare_member.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_todo_assoc_const_default.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_todo_define_default_fn_inline.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_todo_define_default_fn_out_of_line.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_todo_modifiers.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

fail_type_as_facet.carbon

Replace :! binding syntax with phase keywords and contextual defaults (#7479)

2026-07-11 01:22:44 +00:00

final.carbon

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00

generic_binding_after_assoc_const.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

generic_default_fn.carbon

Replace :! binding syntax with phase keywords and contextual defaults (#7479)

2026-07-11 01:22:44 +00:00

generic_import.carbon

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00

generic_method.carbon

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00

generic_vs_params.carbon

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00

generic.carbon

Don't require non-class types to be complete to convert from them (#7590)

2026-07-31 17:35:21 +00:00

import_access.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

import_interface_decl.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

import.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

incomplete.carbon

Avoid symbolic witnesses for .Self in an impl decl (#7564)

2026-07-29 16:25:23 +00:00

local.carbon

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00

member_lookup.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

name_poisoning.carbon

Diagnose missing interface definition in impl files (#7622)

2026-08-11 21:06:17 +00:00

no_definition_in_impl_file.carbon

Diagnose missing interface definition in impl files (#7622)

2026-08-11 21:06:17 +00:00

observe.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

require_invalid_modifiers.carbon

Type-check require declarations (#6286)

2025-10-31 20:20:31 +00:00

require.carbon

Don't require non-class types to be complete to convert from them (#7590)

2026-07-31 17:35:21 +00:00

self.carbon

Omit empty observe: blocks from formatted SemIR. (#7487)

2026-07-13 20:38:19 +00:00

syntactic_merge.carbon

Handle import refs in TryGetExistingDecl (#7620)

2026-08-11 19:29:46 +00:00

todo_define_not_default.carbon

Use GetConstantValueInSpecific to get the impl's specific interface after deduction (#7584)

2026-07-30 19:59:10 +00:00