Function cairo_lang_semantic::corelib::concrete_destruct_trait

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