diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2022-11-22 22:54:38 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-22 22:54:38 -0500 |
| commit | 91d2ce302020391df83620b622acea484c505b72 (patch) | |
| tree | 891cc19c2f925c768abcccb3432b7ef15edd940f | |
| parent | b33afd61edfb690ace17d0672b367e44758c1bef (diff) | |
| parent | 386d0a5c67921b19e62522e693cba9738a08760e (diff) | |
| download | rust-91d2ce302020391df83620b622acea484c505b72.tar.gz rust-91d2ce302020391df83620b622acea484c505b72.zip | |
Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr
Allow opaque types in trait impl headers and rely on coherence to reject unsound cases r? ````@lcnr```` fixes #99840
| -rw-r--r-- | clippy_utils/src/qualify_min_const_fn.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/clippy_utils/src/qualify_min_const_fn.rs b/clippy_utils/src/qualify_min_const_fn.rs index 65722f142aa..d183e28f667 100644 --- 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 { |