pub type FnSig<'tcx> = FnSig<TyCtxt<'tcx>>;
Aliased Type§
struct FnSig<'tcx> {
pub inputs_and_output: &'tcx RawList<(), Ty<'tcx>>,
pub c_variadic: bool,
pub safety: Safety,
pub abi: ExternAbi,
}
Fields§
§inputs_and_output: &'tcx RawList<(), Ty<'tcx>>
§c_variadic: bool
§safety: Safety
§abi: ExternAbi
Implementations
Trait Implementations§
Source§impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for FnSig<'tcx>
impl<'tcx, P: PrettyPrinter<'tcx>> Print<'tcx, P> for FnSig<'tcx>
Source§impl<I, __CTX> HashStable<__CTX> for FnSig<I>where
I: Interner,
<I as Interner>::Tys: HashStable<__CTX>,
<I as Interner>::Safety: HashStable<__CTX>,
<I as Interner>::Abi: HashStable<__CTX>,
impl<I, __CTX> HashStable<__CTX> for FnSig<I>where
I: Interner,
<I as Interner>::Tys: HashStable<__CTX>,
<I as Interner>::Safety: HashStable<__CTX>,
<I as Interner>::Abi: HashStable<__CTX>,
fn hash_stable( &self, __hcx: &mut __CTX, __hasher: &mut StableHasher<SipHasher128>, )
Source§impl<I> IntoDiagArg for FnSig<I>where
I: Interner,
impl<I> IntoDiagArg for FnSig<I>where
I: Interner,
fn into_diag_arg(self) -> DiagArgValue
Source§impl<I> TypeFoldable<I> for FnSig<I>
impl<I> TypeFoldable<I> for FnSig<I>
Source§fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<FnSig<I>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
fn try_fold_with<__F>(
self,
__folder: &mut __F,
) -> Result<FnSig<I>, <__F as FallibleTypeFolder<I>>::Error>where
__F: FallibleTypeFolder<I>,
Source§fn fold_with<F>(self, folder: &mut F) -> Selfwhere
F: TypeFolder<I>,
fn fold_with<F>(self, folder: &mut F) -> Selfwhere
F: TypeFolder<I>,
A convenient alternative to
try_fold_with
for use with infallible
folders. Do not override this method, to ensure coherence with
try_fold_with
.Source§impl<I> TypeVisitable<I> for FnSig<I>
impl<I> TypeVisitable<I> for FnSig<I>
Source§fn visit_with<__V>(
&self,
__visitor: &mut __V,
) -> <__V as TypeVisitor<I>>::Resultwhere
__V: TypeVisitor<I>,
fn visit_with<__V>(
&self,
__visitor: &mut __V,
) -> <__V as TypeVisitor<I>>::Resultwhere
__V: TypeVisitor<I>,
impl<I> Copy for FnSig<I>where
I: Interner,
impl<I> Eq for FnSig<I>where
I: Interner,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 16 bytes