rustc​::middle​::typeck​::check​::vtable

Structs

VtableContext

Functions

early_resolve_exprresolve_implresolve_in_blocktrans_resolve_method

Function rustc::middle::typeck::check::vtable::resolve_impl[src]

pub fn resolve_impl(tcx: &ctxt, impl_item: &Item, impl_generics: &Generics, impl_trait_ref: &TraitRef)

The situation is as follows. We have some trait like:

trait Foo : Bar { fn method() { ... } }

and an impl like:

impl Foo for int { ... }

We want to validate that the various requirements of the trait are met:

A:Clone, Self:Bar

But of course after substituting the types from the impl:

B:Clone, int:Bar

We store these results away as the "impl_res" for use by the default methods.