cairo_lang_semantic::corelib

Function concrete_destruct_trait

Source
pub fn concrete_destruct_trait(
    db: &dyn SemanticGroup,
    ty: TypeId,
) -> ConcreteTraitId