Lucile Rose Nihlen dbf02ad100 Adds an AddrOfAction for deferred checking of dependent types (#8122) ...

For `template` generics specifically, when trying check the address of
`&` a dependent expression would always fail with `AddrOfNonRef`
diagnostic. Adds a test both of successful deferred checking and a fail
test for an invalid dependent type.

2026-11-13 16:48:52 +00:00

..

template

Adds an AddrOfAction for deferred checking of dependent types (#8122)

2026-11-13 16:48:52 +00:00

call_basic_depth.carbon

Give files shorthand names in textual SemIR (#8104)

2026-11-12 23:34:32 +00:00

complete_type.carbon

Give files shorthand names in textual SemIR (#8104)

2026-11-12 23:34:32 +00:00

dependent_param.carbon

Give files shorthand names in textual SemIR (#8104)

2026-11-12 23:34:32 +00:00

dot_self_symbolic_type.carbon

Give files shorthand names in textual SemIR (#8104)

2026-11-12 23:34:32 +00:00

extend_type_completion.carbon

Switch tests to use the rendered form of diagnostics (#8070)

2026-11-05 07:19:59 +00:00

fail_generic_copy.carbon

Switch tests to use the rendered form of diagnostics (#8070)

2026-11-05 07:19:59 +00:00

forward_decl.carbon

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

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

identify_specific_facet_type.carbon

Switch tests to use the rendered form of diagnostics (#8070)

2026-11-05 07:19:59 +00:00

import.carbon

Switch tests to use the rendered form of diagnostics (#8070)

2026-11-05 07:19:59 +00:00

local_function.carbon

Give files shorthand names in textual SemIR (#8104)

2026-11-12 23:34:32 +00:00

local.carbon

Give files shorthand names in textual SemIR (#8104)

2026-11-12 23:34:32 +00:00

var_param.carbon

Give files shorthand names in textual SemIR (#8104)

2026-11-12 23:34:32 +00:00