Skip to content

interpret: make typing_env field private#133241

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:typing-env
Nov 20, 2024

Commits

Commits on Nov 20, 2024