Skip to main content

has_impossible_predicates

rustc_mir_transform::impossible_predicates

Function has_impossible_predicates 

Source 
pub(crate) fn has_impossible_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> bool