flux_
rustc_
bridge
0.1.0
Generic
Args
Aliased type
Trait Implementations
GenericArgsExt
ToRustc<'tcx>
In flux_
rustc_
bridge::
ty
flux_rustc_bridge
::
ty
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
as_closure
(&self) ->
ClosureArgs
Source
§
fn
as_coroutine
(&self) ->
CoroutineArgs
Source
§
impl<'tcx>
ToRustc
<'tcx> for
GenericArgs
Source
§
type
T
= &'tcx
RawList
<
()
,
GenericArg
<'tcx>>
Source
§
fn
to_rustc
(&self, tcx:
TyCtxt
<'tcx>) -> Self::
T