Skip to content

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

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

Commits

Commits on Jun 29, 2022