diff options
| author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-02-21 14:26:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-21 14:26:27 +0100 |
| commit | 61858c048bacb22aeab1893f8812896cb2b4d6a7 (patch) | |
| tree | 50d46c289d7cc12ff840e9f1632770f46f6d1d65 /compiler/src/dotty/tools/dotc/core/Definitions.scala | |
| parent | 9f879c1677b467037f6c19cc0abe43e0adb802fa (diff) | |
| parent | 5f9e569926728e7f591a26729efa7700387aeb22 (diff) | |
| download | dotty-61858c048bacb22aeab1893f8812896cb2b4d6a7.tar.gz dotty-61858c048bacb22aeab1893f8812896cb2b4d6a7.tar.bz2 dotty-61858c048bacb22aeab1893f8812896cb2b4d6a7.zip | |
Merge pull request #2013 from dotty-staging/fix-#2006
Don't inline when errors are detected
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/Definitions.scala')
0 files changed, 0 insertions, 0 deletions