Fix #1392: Disallow super-calls that cannot be implemented correctly#6407
Merged
odersky merged 1 commit intoscala:masterfrom May 1, 2019
Merged
Fix #1392: Disallow super-calls that cannot be implemented correctly#6407odersky merged 1 commit intoscala:masterfrom
odersky merged 1 commit intoscala:masterfrom