Revert "Recursively check nonvariant arguments of base types for realizability"#12000
Merged
abgruszecki merged 2 commits intoscala:masterfrom Apr 7, 2021
Merged
Revert "Recursively check nonvariant arguments of base types for realizability"#12000abgruszecki merged 2 commits intoscala:masterfrom
abgruszecki merged 2 commits intoscala:masterfrom
