Skip to content

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

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:1zstAug 17, 2022
+3-1

Commits

Commits on Jul 31, 2022