diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-07-15 11:52:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-07-15 11:52:24 +0200 |
commit | 71889a9011fbcb56ab6382bfb62e6dbac707721a (patch) | |
tree | 526d171a1089b808b19f63e273ddd1197dbcc6f3 /src/dotty/tools/dotc/ast/untpd.scala | |
parent | 4bec4fa6d6c1844abab4e4e64ea7763e17ca30bf (diff) | |
parent | 468ff9c0fd341395d39eb57959755fb718990035 (diff) | |
download | dotty-71889a9011fbcb56ab6382bfb62e6dbac707721a.tar.gz dotty-71889a9011fbcb56ab6382bfb62e6dbac707721a.tar.bz2 dotty-71889a9011fbcb56ab6382bfb62e6dbac707721a.zip |
Merge pull request #1368 from dotty-staging/skip-redundant-superclasses
Skip redundant superclasses\supertraits.
Diffstat (limited to 'src/dotty/tools/dotc/ast/untpd.scala')
0 files changed, 0 insertions, 0 deletions