fn def_ty<'a, 'tcx>(shared: &SharedCrateContext<'a, 'tcx>,
                    def_id: DefId,
                    substs: &'tcx Substs<'tcx>)
                    -> Ty<'tcx> {
    let ty = shared.tcx().item_type(def_id);
    monomorphize::apply_param_substs(shared, substs, &ty)
}
/// Given a DefId and some Substs, produces the monomorphic item type.
Given a DefId and some Substs, produces the monomorphic item type.
Given a DefId and some Substs produces the monomorphic item type .
fn def_ty<'a, 'tcx>(shared: &SharedCrateContext<'a, 'tcx>,
                    def_id: DefId,
                    substs: &'tcx Substs<'tcx>)
                    -> Ty<'tcx> {
    let ty = shared.tcx().item_type(def_id);
    monomorphize::apply_param_substs(shared, substs, &ty)
}
fn def_ty < ' a , ' tcx > ( shared : & SharedCrateContext < ' a , ' tcx > , def_id : DefId , substs : & ' tcx Substs < ' tcx > ) -> Ty < ' tcx > { let ty = shared . tcx ( ) . item_type ( def_id ) ; monomorphize :: apply_param_substs ( shared , substs , & ty ) }
Given a DefId and some Substs, produces the monomorphic item type.
Given a DefId and some Substs produces the monomorphic item type .
shared
&SharedCrateContext<'a, 'tcx>
def_id
DefId
substs
&'tcx Substs<'tcx>
shared
&SharedCrateContext<'a, 'tcx>
def_id
DefId
substs
&'tcx Substs<'tcx>