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