diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-05-27 10:44:35 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2024-06-19 08:28:31 +0000 |
| commit | 4a86ef6f4c6069e94e8ea6ebb2b62206dce31cbf (patch) | |
| tree | 0fc72d76af8853ad89462938bad08156deaa2805 /compiler | |
| parent | cbadf786bc482baf467f601d03a074000c422914 (diff) | |
| download | rust-4a86ef6f4c6069e94e8ea6ebb2b62206dce31cbf.tar.gz rust-4a86ef6f4c6069e94e8ea6ebb2b62206dce31cbf.zip | |
Allow constraining opaque types during auto trait casting
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/select/confirmation.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/select/confirmation.rs b/compiler/rustc_trait_selection/src/traits/select/confirmation.rs index 84c744be381..f883cd71893 100644 --- a/compiler/rustc_trait_selection/src/traits/select/confirmation.rs +++ b/compiler/rustc_trait_selection/src/traits/select/confirmation.rs @@ -1161,7 +1161,7 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> { let InferOk { mut obligations, .. } = self .infcx .at(&obligation.cause, obligation.param_env) - .sup(DefineOpaqueTypes::No, target, source_trait) + .sup(DefineOpaqueTypes::Yes, target, source_trait) .map_err(|_| Unimplemented)?; // Register one obligation for 'a: 'b. |