Type Alias PolyFnSig

pub type PolyFnSig = Binder<FnSig>;

Aliased Type

struct PolyFnSig {
    vars: Interned<[BoundVariableKind]>,
    value: FnSig,
}

Fields

vars: Interned<[BoundVariableKind]>

value: FnSig

Implementations

impl PolyFnSig

pub fn hoist_input_binders(&self) -> Self

Convert a function signature with existentials to one where they are all bound at the top level. Performs a transparent (i.e. not shallow) canonicalization.

Trait Implementations

impl Pretty for PolyFnSig

fn fmt(&self, cx: &PrettyCx<'_, '_>, f: &mut Formatter<'_>) -> Result

fn default_cx(tcx: TyCtxt<'_>) -> PrettyCx<'_, '_>