Function rustc_typeck::middle::ty::construct_free_substsUnstable [-] [+] [src]

pub fn construct_free_substs(tcx: &'a ctxt<'tcx>, generics: &Generics<'tcx>, free_id: u32) -> Substs<'tcx>

Constructs and returns a substitution that can be applied to move from the "outer" view of a type or method to the "inner" view. In general, this means converting from bound parameters to free parameters. Since we currently represent bound/free type parameters in the same way, this only has an effect on regions.