Type Alias erg_compiler::error::tycheck::TyCheckWarning

pub type TyCheckWarning = CompileWarning;

Aliased Type

struct TyCheckWarning {
    pub core: Box<ErrorCore>,
    pub input: Input,
    pub caused_by: String,
    pub theme: Theme,
}

Fields

core: Box<ErrorCore>

input: Input

caused_by: String

theme: Theme

Implementations

impl TyCheckWarning

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