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