explain a good reason for why LocalValue does not store the type of the local#118482

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:interpret-local-type

Dec 1, 2023

Commits on Nov 30, 2023

explain a good reason for why LocalValue does not store the type of the local
RalfJung
committed