Trait CheckedFieldTy 

pub trait CheckedFieldTy<'db> {
    // Required method
    fn checked_field_ty(
        self,
        db: &'db dyn Db,
    ) -> Binder<'db, Binder<'db, SymTy<'db>>>;
}

Required Methods

fn checked_field_ty( self, db: &'db dyn Db, ) -> Binder<'db, Binder<'db, SymTy<'db>>>

See crate::check::fields::check_field

Implementors

impl<'db> CheckedFieldTy<'db> for SymField<'db>