File tree Expand file tree Collapse file tree 1 file changed +0
-13
lines changed
compiler/rustc_trait_selection/src Expand file tree Collapse file tree 1 file changed +0
-13
lines changed Original file line number Diff line number Diff line change @@ -14,19 +14,6 @@ use rustc_span::Span;
14
14
15
15
use std:: ops:: ControlFlow ;
16
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
17
pub trait InferCtxtExt < ' tcx > {
31
18
fn instantiate_opaque_types < T : TypeFoldable < ' tcx > > (
32
19
& self ,
You can’t perform that action at this time.
0 commit comments