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

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