const TLV: LocalKey<Cell<usize>>;
A thread local variable that stores a pointer to the current ImplicitCtxt.
ImplicitCtxt