Skip to content

interpret: reduce usage of TypingEnv::fully_monomorphized#134058

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:interpret-typing-env
Dec 14, 2024
Merged

interpret: reduce usage of TypingEnv::fully_monomorphized#134058
bors merged 1 commit intorust-lang:masterfrom
RalfJung:interpret-typing-env

Commits

Commits on Dec 9, 2024