Rollup merge of rust-lang#103488 - oli-obk:impl_trait_for_tait, r=lcnr

Manishearth · web-flow · commit 91d2ce302020 · 2022-11-22T22:54:38.000-05:00
Allow opaque types in trait impl headers and rely on coherence to reject unsound cases r? ````@lcnr```` fixes rust-lang#99840
diff --git 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<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>, msrv: Option<
                 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 {

Original file line number	Diff line number	Diff line change
`@@ -37,6 +37,7 @@ pub fn is_min_const_fn<'tcx>(tcx: TyCtxt<'tcx>, body: &Body<'tcx>, msrv: Option<`
`37`	`37`	`ty::PredicateKind::ClosureKind(..) => panic!("closure kind predicate on function: {predicate:#?}"),`
`38`	`38`	`ty::PredicateKind::Subtype(_) => panic!("subtype predicate on function: {predicate:#?}"),`
`39`	`39`	`ty::PredicateKind::Coerce(_) => panic!("coerce predicate on function: {predicate:#?}"),`
	`40`	`+ ty::PredicateKind::Ambiguous => panic!("ambiguous predicate on function: {predicate:#?}"),`
`40`	`41`	`}`
`41`	`42`	`}`
`42`	`43`	`match predicates.parent {`