diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-02-02 17:15:18 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2022-02-02 17:15:18 +0000 |
| commit | d9bb93f3a40871e54d8d1cecd239af9b0d96c7d5 (patch) | |
| tree | d23be51c09a1b3d8a635ca9d9815cbfc849f90a1 /compiler/rustc_trait_selection | |
| parent | be153f0976705f8d7ca45540a4965bb156b2cc34 (diff) | |
| download | rust-d9bb93f3a40871e54d8d1cecd239af9b0d96c7d5.tar.gz rust-d9bb93f3a40871e54d8d1cecd239af9b0d96c7d5.zip | |
Fix some doctests where the main function returns an opaque type
Diffstat (limited to 'compiler/rustc_trait_selection')
| -rw-r--r-- | compiler/rustc_trait_selection/src/traits/codegen.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/compiler/rustc_trait_selection/src/traits/codegen.rs b/compiler/rustc_trait_selection/src/traits/codegen.rs index 759bc696981..04a7da06063 100644 --- a/compiler/rustc_trait_selection/src/traits/codegen.rs +++ b/compiler/rustc_trait_selection/src/traits/codegen.rs @@ -90,6 +90,11 @@ pub fn codegen_fulfill_obligation<'tcx>( }); let impl_source = drain_fulfillment_cx_or_panic(&infcx, &mut fulfill_cx, impl_source); + // We may constrain the hidden types of opaque types in this query, but this is + // not information our callers need, as all that information is handled by borrowck + // and typeck. + drop(infcx.inner.borrow_mut().opaque_type_storage.take_opaque_types()); + debug!("Cache miss: {:?} => {:?}", trait_ref, impl_source); Ok(impl_source) }) |