This is the implicit state of rustc. It contains the current
TyCtxt and query. It is updated when creating a local interner or
executing a new query. Whenever there’s a TyCtxt value available
you should also have access to an ImplicitCtxt through the functions
in this module.