Generated relation collections don't have types for each and find_each

Tapioca version: 0.7.3

has_many :session_participations

def example
      T.reveal_type(session_participations)
      session_participations.each do |sp|
        T.reveal_type(sp)
      end
end

When typechecking this code where session_participations are a relation of the model this code is in. sp comes through as untyped.

Revealed type: Sessions::SessionParticipation::PrivateCollectionProxy https://srb.help/7014
     150 |      T.reveal_type(session_participations)
                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  Got Sessions::SessionParticipation::PrivateCollectionProxy originating from:
     150 |      T.reveal_type(session_participations)
                              ^^^^^^^^^^^^^^^^^^^^^^

Revealed type:  T.untyped https://srb.help/7014
     152 |        T.reveal_type(sp)
                  ^^^^^^^^^^^^^^^^^
  Got  T.untyped originating from:
     151 |      session_participations.each do |sp|

However if I use a map I do get the correct type for sp.

It would be good if the typing of blocks passed to map, each, and find_each was consistent.

Start by tracing Tapioca's generated relation collection for has_many and compare block typing for map, each, and find_each. Reproduce the Sorbet example with T.reveal_type and verify that each and find_each infer SessionParticipation rather than T.untyped, while map remains consistent.