SPICE-0020: Deferred, type-safe references#1354

Merged

stackoverflow merged 12 commits into

HT154:reference-t

Jun 23, 2026

Commits on Jun 23, 2026

Implement `Reference<T>`

HT154
authored and
stackoverflow
committed
review feedback round 1

HT154
authored and
stackoverflow
committed
review feedback round 2

HT154
authored and
stackoverflow
committed
Add restrictions against referencing Mapping/Listing/Dynamic.default, Module.output, and any property of an external class

HT154
authored and
stackoverflow
committed
review feedback round 3

HT154
authored and
stackoverflow
committed
review feedback round 4

HT154
authored and
stackoverflow
committed
refine domain rendering to string, remove default rendering behaviors

HT154
authored and
stackoverflow
committed
track PType instead of Set<PType>, fix subtype check for type args with unions

HT154
authored and
stackoverflow
committed
fix native build

HT154
authored and
stackoverflow
committed
Add documentation to the language reference

HT154
authored and
stackoverflow
committed
Add experimental feature warning to stdlib module and language reference

HT154
authored and
stackoverflow
committed
Address some nits
stackoverflow
committed