diff options
author | Martin Odersky <odersky@gmail.com> | 2016-06-29 19:06:13 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:34:59 +0200 |
commit | aa7f66d3f7d299733158a08bad5ac0d746497d81 (patch) | |
tree | 5e13f72b97c0971bf789edff2f8d93dc9af81b71 /src/dotty/tools/dotc/core/Flags.scala | |
parent | af43d325b778973ad9e144b5c27c455febb98890 (diff) | |
download | dotty-aa7f66d3f7d299733158a08bad5ac0d746497d81.tar.gz dotty-aa7f66d3f7d299733158a08bad5ac0d746497d81.tar.bz2 dotty-aa7f66d3f7d299733158a08bad5ac0d746497d81.zip |
Disable checkInst in RecType
It can give false negatives.
Also, simplify RecType.closeOver
Diffstat (limited to 'src/dotty/tools/dotc/core/Flags.scala')
0 files changed, 0 insertions, 0 deletions