Struct NthParamTyEqual

pub struct NthParamTyEqual<'t> {
    pub at: Span,
    pub nth: usize,
    pub expect: &'t TypeDefine,
}

Fields

at: Span

nth: usize

expect: &'t TypeDefine

Implementations

impl<'t> NthParamTyEqual<'t>

pub fn new(nth: usize, expect: &'t TypeDefine, at: Span) -> Self

Trait Implementations

impl BranchFilter<Rc<FnSignWithName>> for NthParamTyEqual<'_>

fn satisfy(&self, ty: &Type) -> bool

fn expect(&self, _defs: &Defs) -> String

impl WithSpan for NthParamTyEqual<'_>

fn get_span(&self) -> Span

get the location information

fn make_error(&self, reason: impl ToString) -> Error

make an Error at location

fn make_message(&self, reason: impl ToString) -> Message

make an Message at location