Type Definition erg_compiler::error::tycheck::TyCheckWarning

pub type TyCheckWarning = CompileWarning;

Implementations

impl TyCheckWarning

pub fn unnecessary_tyvar_warning( input: Input, errno: usize, loc: Location, name: &str, caused_by: String ) -> Self