Add an always-ambiguous predicate to make sure that we don't accidentlally allow trait resolution to prove false things during coherence

2022-11-02 15:10:05 +00:00 · 2022-11-02 15:10:05 +00:00 · 386d0a5c67
commit 386d0a5c67
parent 80a4699aae
1 changed files with 1 additions and 0 deletions
--- a/clippy_utils/src/qualify_min_const_fn.rs
+++ b/clippy_utils/src/qualify_min_const_fn.rs
@ -37,6 +37,7 @@ pub fn is_min_const_fn<'a, 'tcx>(tcx: TyCtxt<'tcx>, body: &'a Body<'tcx>, msrv:
                ty::PredicateKind::ClosureKind(..) => panic!("closure kind predicate on function: {predicate:#?}"),
                ty::PredicateKind::Subtype(_) => panic!("subtype predicate on function: {predicate:#?}"),
                ty::PredicateKind::Coerce(_) => panic!("coerce predicate on function: {predicate:#?}"),
+                ty::PredicateKind::Ambiguous => panic!("ambiguous predicate on function: {predicate:#?}"),
            }
        }
        match predicates.parent {