Skip to content

interpret: only consider 1-ZST when searching for receiver#99972

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:1zst
Aug 17, 2022
Merged

interpret: only consider 1-ZST when searching for receiver#99972
bors merged 1 commit intorust-lang:masterfrom
RalfJung:1zst

Commits

Commits on Jul 31, 2022