fn tait_defining_bodies( db: &dyn HirDatabase, loc: &AssocItemLoc<TypeAlias>, ) -> Vec<DefWithBodyId>