[mono] Tracking: covariant return methods support

lambdageek commented 4 years ago

This is a tracking issue for the implementation of Covariant Return Methods Mono

Future

[ ] pass test cases for variant interfaces CovariantReturns/Interfaces/UnitTest.il and UnsupportedScenario1.il, UnsupportedScenario2.il and UnsupportedScenario3.il
[ ] Implement PreserveBaseBaseOverrideAttribute support for SRE images

[x] Implement PreserveBaseOverrideAttribute PR: -> passing AttributeTesting.il, UnitTest.il and OverrideMoreDerivedReturn.il
[x] Pass "positive" covariant returns unit tests (ie we set up the vtable correctly and callvirt calls the right method) PR https://github.com/dotnet/runtime/pull/37516 - Passing everythign in UnitTest except UnitTest_GVM.il
[x] Pass "negative" unit tests (ie we throw the correct exception for unsupported scenarios or incorrect overrides)

lambdageek commented 4 years ago

Looking increasingly likely that #37516 is going to have everything in one PR. The changes are pretty coherent, there's no need to land it in stages.

SamMonoRT commented 3 years ago

Moving to 7.0.0

SamMonoRT commented 2 years ago

moving tracking issues to 8.0.0