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