diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-03-12 15:47:43 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-03-12 15:47:43 +0100 |
| commit | 00034a2a8c91f3e83b3a2518cc7c944c66ffab3f (patch) | |
| tree | 18dfe85057bc2bd2845dcd0773fb166e008c9ced /compiler/src/dotty/tools/dotc/core | |
| parent | 8dba911ca8fdd25874209c4492a50213305c7fd7 (diff) | |
| download | dotty-00034a2a8c91f3e83b3a2518cc7c944c66ffab3f.tar.gz dotty-00034a2a8c91f3e83b3a2518cc7c944c66ffab3f.tar.bz2 dotty-00034a2a8c91f3e83b3a2518cc7c944c66ffab3f.zip | |
Improve definition and doc comment for ensureNoLeaks
No more try-again business necessary.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core')
0 files changed, 0 insertions, 0 deletions