Parameterized functions

hephaestus-compiler-project / hephaestus

A framework for testing compilers' type checkers

https://hephaestus-compiler-project.github.io/

GNU General Public License v3.0

49 stars 10 forks source link

Closed theosotr closed 3 years ago

theosotr commented 3 years ago

Note that this PR introduces two new CLI options:

--disable-contravariance-use-site for disabling contravariance in use-site variance (i.e., ? super T)
--disable-use-site-variance for disabling use-site variance completely.