Function rustc::traits::normalize_and_test_predicates [] [src]

pub fn normalize_and_test_predicates<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
                                               predicates: Vec<Predicate<'tcx>>)
                                               -> bool
🔬 This is a nightly-only experimental API. (rustc_private)

Normalizes the predicates and checks whether they hold. If this returns false, then either normalize encountered an error or one of the predicates did not hold. Used when creating vtables to check for unsatisfiable methods.