Type Alias erg_compiler::ty::free::FreeTyParam

pub type FreeTyParam = Free<TyParam>;

Aliased Type

struct FreeTyParam(/* private fields */);

Trait Implementations

impl<'t> TryFrom<&'t TyParam> for &'t FreeTyParam

type Error = ()

The type returned in the event of a conversion error.

fn try_from(t: &'t TyParam) -> Result<&'t FreeTyParam, ()>

Performs the conversion.