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 /.gitattributes | |
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 '.gitattributes')
0 files changed, 0 insertions, 0 deletions