f1922275b7
Encode types in SMIR The first commit makes sure we can actually store a Ty<'tcx> (with the lifetime) in the thread local and get it back out. The second commit then introduces types. r? `@spastorino`