diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-01-30 20:01:14 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-09 09:40:52 +0100 |
| commit | 7ccd02c2cd23e4187f3e3a378973704cecd6459a (patch) | |
| tree | c1efbbb4b0f73cc94b83c011bbcdc1b34e34ff9b /src/dotty/tools/dotc/core/TypeOps.scala | |
| parent | 1b7745e5f9c0e251436b33247133f3810838cf12 (diff) | |
| download | dotty-7ccd02c2cd23e4187f3e3a378973704cecd6459a.tar.gz dotty-7ccd02c2cd23e4187f3e3a378973704cecd6459a.tar.bz2 dotty-7ccd02c2cd23e4187f3e3a378973704cecd6459a.zip | |
Realizability refactoring
Distinguish between isStable and isRealizable.
Issue migration warnings for realizibility failures.
Provide error diagnostics why something is not realizable.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
0 files changed, 0 insertions, 0 deletions