pub trait CreateSubstsForGenericArgsCtxt<'a, 'tcx> {
fn args_for_def_id(
&mut self,
def_id: DefId
) -> (Option<&'a GenericArgs<'a>>, bool);
fn provided_kind(
&mut self,
param: &GenericParamDef,
arg: &GenericArg<'_>
) -> GenericArg<'tcx>;
fn inferred_kind(
&mut self,
substs: Option<&[GenericArg<'tcx>]>,
param: &GenericParamDef,
infer_args: bool
) -> GenericArg<'tcx>;
}
Required Methods
sourcefn args_for_def_id(
fn args_for_def_id(
&mut self,
def_id: DefId
) -> (Option<&'a GenericArgs<'a>>, bool)
sourcefn provided_kind(
fn provided_kind(
&mut self,
param: &GenericParamDef,
arg: &GenericArg<'_>
) -> GenericArg<'tcx>
sourcefn inferred_kind(