Skip to content

Commit

Permalink
Remove a now-unused struct
Browse files Browse the repository at this point in the history
  • Loading branch information
oli-obk committed Oct 15, 2021
1 parent 094a9c7 commit 16868d9
Showing 1 changed file with 0 additions and 13 deletions.
13 changes: 0 additions & 13 deletions compiler/rustc_trait_selection/src/opaque_types.rs
Expand Up @@ -14,19 +14,6 @@ use rustc_span::Span;

use std::ops::ControlFlow;

/// Whether member constraints should be generated for all opaque types
#[derive(Debug)]
pub enum GenerateMemberConstraints {
/// The default, used by typeck
WhenRequired,
/// The borrow checker needs member constraints in any case where we don't
/// have a `'static` bound. This is because the borrow checker has more
/// flexibility in the values of regions. For example, given `f<'a, 'b>`
/// the borrow checker can have an inference variable outlive `'a` and `'b`,
/// but not be equal to `'static`.
IfNoStaticBound,
}

pub trait InferCtxtExt<'tcx> {
fn instantiate_opaque_types<T: TypeFoldable<'tcx>>(
&self,
Expand Down

0 comments on commit 16868d9

Please sign in to comment.