fix[codegen]: fix panic for type checking iterator types

[Sporarum]

What I did

FIx #4729

How I did it

fix overly conservative assert

How to verify it

Commit message

the type of the iterator for an array can be a supertype of the array
elements, however an assert was checking for type equivalence, which
led to panics.

Description for the changelog

Cute Animal Picture

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 93.27%. Comparing base (7fa3e56) to head (ec5e5e0).
⚠️ Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #4767   +/-   ##
=======================================
  Coverage   93.27%   93.27%           
=======================================
  Files         137      137           
  Lines       19455    19455           
  Branches     3361     3361           
=======================================
  Hits        18146    18146           
  Misses        888      888           
  Partials      421      421           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.