Type Definition erg_compiler::ty::free::FreeTyVar

source · 
pub type FreeTyVar = Free<Type>;

Trait Implementations§

source§

impl<'t> TryFrom<&'t Type> for &'t FreeTyVar

§

type Error = ()

The type returned in the event of a conversion error.
source§

fn try_from(t: &'t Type) -> Result<&'t FreeTyVar, ()>

Performs the conversion.