flux_middle::rty

Type Alias PolyFnSig

Source
pub type PolyFnSig = Binder<FnSig>;

Aliased Type§

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

Fields§

§vars: Interned<[BoundVariableKind]>§value: FnSig

Trait Implementations§

Source§

impl Pretty for PolyFnSig

Source§

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

Source§

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