flux_
middle
0.1.0
Generic
Args
Aliased type
Trait Implementations
GenericArgsExt
In flux_
middle::
rty
flux_middle
::
rty
Type Alias
GenericArgs
Copy item path
Source
pub type GenericArgs =
List
<
GenericArg
>;
Aliased Type
§
struct GenericArgs {
/* private fields */
}
Trait Implementations
§
Source
§
impl
GenericArgsExt
for
GenericArgs
Source
§
fn
box_args
(&self) -> (&
Ty
, &
Ty
)
Source
§
fn
to_rustc
<'tcx>(&self, tcx:
TyCtxt
<'tcx>) ->
GenericArgsRef
<'tcx>
Source
§
fn
rebase_onto
( &self, tcx: &
TyCtxt
<'_>, source_ancestor:
DefId
, target_args: &
GenericArgs
, ) ->
List
<
GenericArg
>