Trait CoroutineArgsExt

pub trait CoroutineArgsExt<'db> {
    // Required method
    fn discr_ty(&self, interner: DbInterner<'db>) -> Ty<'db>;
}

Required Methods

fn discr_ty(&self, interner: DbInterner<'db>) -> Ty<'db>

Implementations on Foreign Types

impl<'db> CoroutineArgsExt<'db> for CoroutineArgs<DbInterner<'db>>

fn discr_ty(&self, interner: DbInterner<'db>) -> Ty<'db>

The type of the state discriminant used in the coroutine type.

Implementors