Ivana Ivanovska a2821be1be Dump SemIR for all passing macros tests (#6454) ...

Some of the macros tests were not printing the SemIR. Printing it can
help spot issues (as in PR #6440), so added that now for all passing
tests.

Part of #6303

2025-12-03 12:28:32 +00:00

..

alias

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

array

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

as

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

basics

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

builtins

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

choice

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

class

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

const

Remove support for addr (#6375)

2025-11-18 19:48:58 +00:00

deduce

Replace pending generic logic with work stack-based logic (#6404)

2025-11-20 01:02:18 +00:00

eval

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

facet

Remove the FacetTypeId in RequireImpls (#6437)

2025-12-01 20:34:43 +00:00

for

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

function

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

generic

Stringify specifics of named constraints (#6444)

2025-12-02 19:31:13 +00:00

global

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

if

Separate binding insts for refs and values (#6235)

2025-10-23 01:46:24 +00:00

if_expr

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

impl

Remove the FacetTypeId in RequireImpls (#6437)

2025-12-01 20:34:43 +00:00

index

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

interface

Remove the FacetTypeId in RequireImpls (#6437)

2025-12-01 20:34:43 +00:00

interop/cpp

Dump SemIR for all passing macros tests (#6454)

2025-12-03 12:28:32 +00:00

let

Replace pending generic logic with work stack-based logic (#6404)

2025-11-20 01:02:18 +00:00

main_run

Finish renaming BindName and related insts. (#6281)

2025-10-28 17:17:38 +00:00

named_constraint

Remove the FacetTypeId in RequireImpls (#6437)

2025-12-01 20:34:43 +00:00

namespace

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

operators

Replace pending generic logic with work stack-based logic (#6404)

2025-11-20 01:02:18 +00:00

package_expr

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

packages

Make generic decl resolution happen during non-pending import flow (#6394)

2025-11-19 21:54:25 +00:00

patterns

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

pointer

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

primitives

Finish renaming BindName and related insts. (#6281)

2025-10-28 17:17:38 +00:00

return

Replace pending generic logic with work stack-based logic (#6404)

2025-11-20 01:02:18 +00:00

struct

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

tuple

Rewrite pending specifics to use the work stack (#6415)

2025-11-24 21:52:29 +00:00

var

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

where_expr

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

while

Add basic support for strings to core, check, and lower. (#5963)

2025-08-20 00:18:50 +00:00