Function with_context

pub fn with_context<F, R>(f: F) -> R
where
    F: for<'a, 'tcx> FnOnce(&ImplicitCtxt<'a, 'tcx>) -> R,

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