Allow using interface-converted type-requirement in fields

[SupunS]

Closes onflow/cadence#3527

(Solves https://flow-foundation.slack.com/archives/C074F78ECNL/p1723566139471899)

If a type-requirement has been converted to an interface, then allow using such updated type in field. i.e: allow changing the field types to the interface type. Here only T would become {T}, and nothing else would be allowed.

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 84.33735% with 26 lines in your changes missing coverage. Please review.

Project coverage is 41.51%. Comparing base (3bd915b) to head (aa2515d).

Files	Patch %	Lines
...l/ledger/migrations/type_requirements_extractor.go	69.23%	15 Missing and 1 partial ⚠️
...l/ledger/migrations/contract_checking_migration.go	79.54%	5 Missing and 4 partials ⚠️
...md/util/ledger/migrations/static_type_migration.go	80.00%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #6341      +/-   ##
==========================================
+ Coverage   41.46%   41.51%   +0.04%     
==========================================
  Files        2011     2012       +1     
  Lines      143338   143437      +99     
==========================================
+ Hits        59439    59544     +105     
+ Misses      77729    77720       -9     
- Partials     6170     6173       +3     

Flag	Coverage Δ
unittests	41.51% <84.33%> (+0.04%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

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

[turbolent]

Nice!

[SupunS]

Need to add some reporting + more tests ✅

[turbolent]

Great work generalizing this! 👏

[janezpodhostnik]

Looks good to me, but I'm also wondering if we can join the TypeRequirementsExtractingMigration with an existing migration

[turbolent]

Great work!

[turbolent]

Great work!