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