Function rustc_trait_selection::traits::coherence::loose_check

fn loose_check<'cx, 'tcx>(
    selcx: &mut SelectionContext<'cx, 'tcx>, 
    o: &PredicateObligation<'tcx>
) -> bool