pub fn destruct_trait(db: &dyn SemanticGroup) -> TraitId