Struct rustc_typeck::middle::infer::TypeFreshenerUnstable
[-] [+]
[src]
pub struct TypeFreshener<'a, 'tcx> where 'tcx: 'a {
// some fields omitted
}
pub struct TypeFreshener<'a, 'tcx> where 'tcx: 'a {
// some fields omitted
}
impl<'a, 'tcx> TypeFreshener<'a, 'tcx>
fn new(infcx: &'a InferCtxt<'a, 'tcx>) -> TypeFreshener<'a, 'tcx>
impl<'a, 'tcx> TypeFolder<'tcx> for TypeFreshener<'a, 'tcx>
fn tcx(&'b self) -> &'b ctxt<'tcx>
fn fold_region(&mut self, r: Region) -> Region
fn fold_ty(&mut self, t: &'tcx TyS<'tcx>) -> &'tcx TyS<'tcx>
fn enter_region_binder(&mut self)
fn exit_region_binder(&mut self)
fn fold_binder<T>(&mut self, t: &Binder<T>) -> Binder<T> where T: TypeFoldable<'tcx> + Repr<'tcx> + Clone
fn fold_mt(&mut self, t: &mt<'tcx>) -> mt<'tcx>
fn fold_trait_ref(&mut self, t: &TraitRef<'tcx>) -> TraitRef<'tcx>
fn fold_substs(&mut self, substs: &Substs<'tcx>) -> Substs<'tcx>
fn fold_fn_sig(&mut self, sig: &FnSig<'tcx>) -> FnSig<'tcx>
fn fold_output(&mut self, output: &FnOutput<'tcx>) -> FnOutput<'tcx>
fn fold_bare_fn_ty(&mut self, fty: &BareFnTy<'tcx>) -> BareFnTy<'tcx>
fn fold_closure_ty(&mut self, fty: &ClosureTy<'tcx>) -> ClosureTy<'tcx>
fn fold_existential_bounds(&mut self, s: &ExistentialBounds<'tcx>) -> ExistentialBounds<'tcx>
fn fold_autoref(&mut self, ar: &AutoRef<'tcx>) -> AutoRef<'tcx>
fn fold_item_substs(&mut self, i: ItemSubsts<'tcx>) -> ItemSubsts<'tcx>
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
, enum
,
trait
, typedef
(or
tdef
).