Christopher Di Bella e8fda4519c Enable SubobjectDestroy.Op to destroy tuples (#7842) ...

This is a partial implementation of #7362.

2026-09-29 17:23:20 +00:00

..

as_type_of_type.carbon

Add Destroy.SubobjectDestroy as a temporary replacement for Destroy.Op (#7773)

2026-09-24 00:06:28 +00:00

as_type.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

assoc_const_in_generic.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

assoc_const.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

basic.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

compound_member_access.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

default_fn.carbon

Classify classes with no struct fields as trivially destructible (#7846)

2026-09-28 22:39:03 +00:00

export_name.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_add_member_outside_definition.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_assoc_const_alias.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_assoc_const_bad_default.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_assoc_fn_invalid_use.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_definition_imported.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_duplicate.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_generic_redeclaration.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_incorrect_destroy_method_declarations.carbon

Add Destroy.SubobjectDestroy as a temporary replacement for Destroy.Op (#7773)

2026-09-24 00:06:28 +00:00

fail_incorrect_subobject_destroy_method_declarations.carbon

Add Destroy.SubobjectDestroy as a temporary replacement for Destroy.Op (#7773)

2026-09-24 00:06:28 +00:00

fail_lookup_in_type_type.carbon

Only look in facet types for name scopes when they have constraints (#7819)

2026-09-23 17:50:34 +00:00

fail_lookup_undefined.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_member_lookup.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_modifiers.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_redeclare_member.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_todo_assoc_const_default.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

fail_type_as_facet.carbon

Preserve the type-as-written for bindings and use it in diagnostics. (#7804)

2026-09-19 00:02:49 +00:00

final.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

generic_binding_after_assoc_const.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +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

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

generic_method.carbon

Enable SubobjectDestroy.Op to destroy tuples (#7842)

2026-09-29 17:23:20 +00:00

generic_vs_params.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

generic.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

import_access.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

import_interface_decl.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

import.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

incomplete.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

local.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

member_lookup.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

modifiers.carbon

Classify classes with no struct fields as trivially destructible (#7846)

2026-09-28 22:39:03 +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 redundant redeclarations in impl files (#7695)

2026-09-08 23:15:42 +00:00

observe.carbon

Add Destroy.SubobjectDestroy as a temporary replacement for Destroy.Op (#7773)

2026-09-24 00:06:28 +00:00

require_invalid_modifiers.carbon

Type-check require declarations (#6286)

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

require.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

self.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

syntactic_merge.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00

todo_define_not_default.carbon

Make SemIR::TypeType be an empty FacetType instruction (#7813)

2026-09-22 15:04:40 +00:00