about summary refs log tree commit diff
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2022-09-20 12:09:52 +0000
committerbors <bors@rust-lang.org>2022-09-20 12:09:52 +0000
commit0dc24ca37640f748d0deac392cb784dd6359b96c (patch)
treef6f947cde093489018057fcb14e5846a297511aa
parent70f4c712c55929a2584b0a45bbca8ebf03079b9c (diff)
parentc2e9c991d59d3aae0809165dbd9237515ae57ce3 (diff)
downloadrust-0dc24ca37640f748d0deac392cb784dd6359b96c.tar.gz
rust-0dc24ca37640f748d0deac392cb784dd6359b96c.zip
Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebank
Allow patterns to constrain the hidden type of opaque types

fixes #96572

reverts a revert as original PR was a perf regression that was fixed by reverting it: https://github.com/rust-lang/rust/pull/99368#issuecomment-1186587864)

TODO:

* check if https://github.com/rust-lang/rust/issues/99685 is avoided
-rw-r--r--clippy_utils/src/qualify_min_const_fn.rs1
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 8835b932909..405f0228683 100644
--- a/clippy_utils/src/qualify_min_const_fn.rs
+++ b/clippy_utils/src/qualify_min_const_fn.rs
@@ -260,6 +260,7 @@ fn check_place<'tcx>(tcx: TyCtxt<'tcx>, place: Place<'tcx>, span: Span, body: &B
                 }
             },
             ProjectionElem::ConstantIndex { .. }
+            | ProjectionElem::OpaqueCast(..)
             | ProjectionElem::Downcast(..)
             | ProjectionElem::Subslice { .. }
             | ProjectionElem::Deref