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