Trait chalk_integration::lowering::program_lowerer::LowerTypeKind

trait LowerTypeKind {
    // Required method
    fn lower_type_kind(&self) -> Result<TypeKind, RustIrError>;
}

Required Methods

fn lower_type_kind(&self) -> Result<TypeKind, RustIrError>

Implementations on Foreign Types

impl LowerTypeKind for AdtDefn

fn lower_type_kind(&self) -> Result<TypeKind, RustIrError>

impl LowerTypeKind for ClosureDefn

fn lower_type_kind(&self) -> Result<TypeKind, RustIrError>

impl LowerTypeKind for CoroutineDefn

fn lower_type_kind(&self) -> Result<TypeKind, RustIrError>

impl LowerTypeKind for FnDefn

fn lower_type_kind(&self) -> Result<TypeKind, RustIrError>

impl LowerTypeKind for OpaqueTyDefn

fn lower_type_kind(&self) -> Result<TypeKind, RustIrError>

impl LowerTypeKind for TraitDefn

fn lower_type_kind(&self) -> Result<TypeKind, RustIrError>

Implementors