Skip to content

interpret: fix TypeId pointers being considered data pointers#144169

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:type-id-fix
Jul 20, 2025
Merged

interpret: fix TypeId pointers being considered data pointers#144169
bors merged 1 commit intorust-lang:masterfrom
RalfJung:type-id-fix

Commits

Commits on Jul 19, 2025