diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-06-12 15:53:47 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-06-12 15:53:54 +0200 |
| commit | c2bcf2ec054b3c20b9addd9d1dd6de286de7f6c3 (patch) | |
| tree | 3879424bc27a0bea89e8f5cb6792e8dcde4a5d5f /src/dotty/tools/dotc/core/Definitions.scala | |
| parent | a77a4f6d8bd8f9990eac23859c399abb3b93df7c (diff) | |
| download | dotty-c2bcf2ec054b3c20b9addd9d1dd6de286de7f6c3.tar.gz dotty-c2bcf2ec054b3c20b9addd9d1dd6de286de7f6c3.tar.bz2 dotty-c2bcf2ec054b3c20b9addd9d1dd6de286de7f6c3.zip | |
Optionally check variance of Lambda classes.
Make sure that Lambda Arg refinements have the same variance as the Lambda classes
they instantiate. Controlled by a Config parameter.
Diffstat (limited to 'src/dotty/tools/dotc/core/Definitions.scala')
0 files changed, 0 insertions, 0 deletions