Skip to content

interpret: add From<&MplaceTy> for PlaceTy#98688

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:from-mplace
Jul 1, 2022
Merged

interpret: add From<&MplaceTy> for PlaceTy#98688
bors merged 1 commit intorust-lang:masterfrom
RalfJung:from-mplace

Commits

Commits on Jun 29, 2022