Struct rustc::middle::typeck::infer::resolve::ResolveState[src]
pub struct ResolveState<'a> {
// some fields omitted
}
rustc::middle::typeck::infer::resolve
rustc::middle::typeck::infer::resolve
pub struct ResolveState<'a> {
// some fields omitted
}impl<'a> ResolveState<'a>fn should(&mut self, mode: uint) -> boolfn resolve_type_chk(&mut self, typ: t) -> fres<t>fn resolve_region_chk(&mut self, orig: Region) -> fres<Region>fn resolve_type(&mut self, typ: t) -> tfn resolve_region(&mut self, orig: Region) -> Regionfn resolve_region_var(&mut self, rid: RegionVid) -> Regionfn resolve_ty_var(&mut self, vid: TyVid) -> tfn resolve_int_var(&mut self, vid: IntVid) -> tfn resolve_float_var(&mut self, vid: FloatVid) -> timpl<'a> TypeFolder for ResolveState<'a>fn tcx<'a>(&'a self) -> &'a ctxtfn fold_ty(&mut self, t: t) -> tfn fold_region(&mut self, r: Region) -> Regionfn fold_mt(&mut self, t: &mt) -> mtfn fold_trait_ref(&mut self, t: &TraitRef) -> TraitReffn fold_sty(&mut self, sty: &sty) -> styfn fold_substs(&mut self, substs: &Substs) -> Substsfn fold_sig(&mut self, sig: &FnSig) -> FnSigfn fold_bare_fn_ty(&mut self, fty: &BareFnTy) -> BareFnTyfn fold_closure_ty(&mut self, fty: &ClosureTy) -> ClosureTyfn fold_trait_store(&mut self, s: TraitStore) -> TraitStorefn fold_autoref(&mut self, ar: &AutoRef) -> AutoReffn fold_item_substs(&mut self, i: ItemSubsts) -> ItemSubsts
Prefix searches with a type followed by a colon (e.g.
fn:) to restrict the search to a given type.
Accepted types are: fn, mod,
struct (or str), enum,
trait, typedef (or
tdef).