interpret: move type_name implementation to an interpreter-independent helper file#103798

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:type_name

Nov 1, 2022

Commits on Oct 31, 2022

interpret: move type_name implementation to an interpreter-independent helper file
RalfJung
committed