diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2016-08-12 13:02:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-08-12 13:02:18 -0700 |
| commit | 5429e1dec30095893dd92ecfbb6b5775f607aa35 (patch) | |
| tree | 07ba909dbb0ae247775f9fc1f4d135afd017a235 /src/strawman | |
| parent | 62348dea92476f1bbb9d7f163f168be9c7e189b5 (diff) | |
| parent | 4b3dce64270144cc4227452ca71d4ceff2a05555 (diff) | |
| download | dotty-5429e1dec30095893dd92ecfbb6b5775f607aa35.tar.gz dotty-5429e1dec30095893dd92ecfbb6b5775f607aa35.tar.bz2 dotty-5429e1dec30095893dd92ecfbb6b5775f607aa35.zip | |
Merge pull request #1448 from dotty-staging/fix/object-subtyping
Fix #1447: Make X$ <:< X.type when X is an object
Diffstat (limited to 'src/strawman')
0 files changed, 0 insertions, 0 deletions