We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 094a9c7 commit 16868d9Copy full SHA for 16868d9
compiler/rustc_trait_selection/src/opaque_types.rs
@@ -14,19 +14,6 @@ use rustc_span::Span;
14
15
use std::ops::ControlFlow;
16
17
-/// Whether member constraints should be generated for all opaque types
18
-#[derive(Debug)]
19
-pub enum GenerateMemberConstraints {
20
- /// The default, used by typeck
21
- WhenRequired,
22
- /// The borrow checker needs member constraints in any case where we don't
23
- /// have a `'static` bound. This is because the borrow checker has more
24
- /// flexibility in the values of regions. For example, given `f<'a, 'b>`
25
- /// the borrow checker can have an inference variable outlive `'a` and `'b`,
26
- /// but not be equal to `'static`.
27
- IfNoStaticBound,
28
-}
29
-
30
pub trait InferCtxtExt<'tcx> {
31
fn instantiate_opaque_types<T: TypeFoldable<'tcx>>(
32
&self,
0 commit comments