diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2016-11-18 00:17:49 +0100 |
|---|---|---|
| committer | Guillaume Martres <smarter@ubuntu.com> | 2016-11-22 01:35:08 +0100 |
| commit | 1dee5b6341a7986c298f1251257f629bd4340067 (patch) | |
| tree | 446bfccdb665c7f13b98b79f11e80669f9e83e02 /bench/src | |
| parent | d3a4916b4f04e89a6fd850206f92bbffa8cce14e (diff) | |
| download | dotty-1dee5b6341a7986c298f1251257f629bd4340067.tar.gz dotty-1dee5b6341a7986c298f1251257f629bd4340067.tar.bz2 dotty-1dee5b6341a7986c298f1251257f629bd4340067.zip | |
checkNoPrivateLeaks is now also done in TreeUnpickler
This could be abstracted better but we'll end up replacing
checkNoPrivateLeaks soon anyway due to https://github.com/lampepfl/dotty/issues/1723
Diffstat (limited to 'bench/src')
0 files changed, 0 insertions, 0 deletions