about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/infer.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2025-04-18 17:26:30 +0000
committerMichael Goulet <michael@errs.io>2025-04-22 17:05:15 +0000
commit7c1661f9457825df6e6bbf4869be3cad59b608a9 (patch)
tree5a15b4aebc30044eb0319df75f76f53766563e48 /compiler/rustc_trait_selection/src/infer.rs
parent1727badf77704a5c44c40a30df833702ed309324 (diff)
downloadrust-7c1661f9457825df6e6bbf4869be3cad59b608a9.tar.gz
rust-7c1661f9457825df6e6bbf4869be3cad59b608a9.zip
Consider Copy/Clone too
Diffstat (limited to 'compiler/rustc_trait_selection/src/infer.rs')
-rw-r--r--compiler/rustc_trait_selection/src/infer.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/infer.rs b/compiler/rustc_trait_selection/src/infer.rs
index 84ac229b743..0dab3adadb0 100644
--- a/compiler/rustc_trait_selection/src/infer.rs
+++ b/compiler/rustc_trait_selection/src/infer.rs
@@ -34,7 +34,7 @@ impl<'tcx> InferCtxt<'tcx> {
 
         // FIXME(#132279): This should be removed as it causes us to incorrectly
         // handle opaques in their defining scope.
-        if !(param_env, ty).has_infer() {
+        if !self.next_trait_solver() && !(param_env, ty).has_infer() {
             return self.tcx.type_is_copy_modulo_regions(self.typing_env(param_env), ty);
         }