Module rustc::middle::infer::region_inferenceUnstable [-] [+] [src]

See doc.rs

Reexports

pub use self::Constraint::*;

pub use self::Verify::*;

pub use self::UndoLogEntry::*;

pub use self::CombineMapType::*;

pub use self::RegionResolutionError::*;

pub use self::VarValue::*;

RegionSnapshot
RegionVarBindings
SameRegions	SameRegions is used to group regions that we think are the same and would like to indicate so to the user. For example, the following function `struct Foo { bar: int } fn foo2<'a, 'b>(x: &'a Foo) -> &'b int { &x.bar }` would report an error because we expect 'a and 'b to match, and so we group 'a and 'b together inside a SameRegions struct
TwoRegions