Trait rustc::middle::typeck::rscope::RegionScope[src]
pub trait RegionScope {
fn anon_regions(&self, span: Span, count: uint) -> Result<Vec<Region>, ()>;
}Defines strategies for handling regions that are omitted. For
example, if one writes the type &Foo, then the lifetime of
this reference has been omitted. When converting this
type, the generic functions in astconv will invoke anon_regions
on the provided region-scope to decide how to translate this
omitted region.
It is not always legal to omit regions, therefore anon_regions
can return Err(()) to indicate that this is not a scope in which
regions can legally be omitted.
Required Methods
Implementors
impl<'a> RegionScope for InferCtxt<'a>impl RegionScope for ExplicitRscopeimpl RegionScope for BindingRscope