diff options
| author | odersky <odersky@gmail.com> | 2015-12-06 16:07:18 +0100 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-12-06 16:07:18 +0100 |
| commit | 7e63af3777c0ad5649d4ff60facbfdfa02b4b874 (patch) | |
| tree | 964175dd8bad6269fe057415c5ff9f2b768f57b1 /LICENSE.md | |
| parent | 80eb242a294b0af6ced4da2b9095bfcd0d628b29 (diff) | |
| parent | 6e4b4f4dd2f09ce787dfb2da4ae9fffe2b30b07a (diff) | |
| download | dotty-7e63af3777c0ad5649d4ff60facbfdfa02b4b874.tar.gz dotty-7e63af3777c0ad5649d4ff60facbfdfa02b4b874.tar.bz2 dotty-7e63af3777c0ad5649d4ff60facbfdfa02b4b874.zip | |
Merge pull request #979 from dotty-staging/fix/hk-deep-subtype-2
TypeComparer: delay looking up members of AndTypes
Diffstat (limited to 'LICENSE.md')
0 files changed, 0 insertions, 0 deletions