rustc_middle::ty::tls

Function with

source
pub fn with<F, R>(f: F) -> R
where F: for<'tcx> FnOnce(TyCtxt<'tcx>) -> R,
Expand description

Allows access to the TyCtxt in the current ImplicitCtxt. Panics if there is no ImplicitCtxt available.