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.
pub fn with_context<F, R>(f: F) -> Rwhere
F: for<'a, 'tcx> FnOnce(&ImplicitCtxt<'a, 'tcx>) -> R,
Allows access to the current ImplicitCtxt
.
Panics if there is no ImplicitCtxt
available.