pub fn concrete_destruct_trait<'db>( db: &'db dyn Database, ty: TypeId<'db>, ) -> ConcreteTraitId<'db>