diff options
author | odersky <odersky@gmail.com> | 2016-10-14 22:47:55 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-14 22:47:55 +0200 |
commit | 5ebd55243ccc5ca637aa8c32f085a3ffb0fd93cb (patch) | |
tree | 03130cce971f54b5afd3a2404468d32f6691712b /src/dotty/tools/dotc/reporting/diagnostic/messages.scala | |
parent | c5aa4ec052cae047486cffe7495d0bc02c103357 (diff) | |
parent | eca3f6997e324559aa499cced51a275fe118051f (diff) | |
download | dotty-5ebd55243ccc5ca637aa8c32f085a3ffb0fd93cb.tar.gz dotty-5ebd55243ccc5ca637aa8c32f085a3ffb0fd93cb.tar.bz2 dotty-5ebd55243ccc5ca637aa8c32f085a3ffb0fd93cb.zip |
Merge pull request #1597 from dotty-staging/fix-i1540
Fix #1540: overloaded get and isDefined in option-less patmat
Diffstat (limited to 'src/dotty/tools/dotc/reporting/diagnostic/messages.scala')
0 files changed, 0 insertions, 0 deletions