pub fn resolver_for_lowering<'tcx>(
    _: TyCtxt<'tcx>,
    _: &resolver_for_lowering<'tcx>
) -> bool