diff options
author | Stefan Zeiger <szeiger@novocode.com> | 2016-02-05 18:22:49 +0100 |
---|---|---|
committer | Stefan Zeiger <szeiger@novocode.com> | 2016-02-08 15:20:05 +0100 |
commit | fbba81991e69faf3e7416b4caabed1e99c528917 (patch) | |
tree | 3e0a59a9f82bab410bb4b2320a49376fff5a1bec /Gemfile | |
parent | 353c305b13a8b0fbb622e157eabcdd7c69e8ddca (diff) | |
download | scala-fbba81991e69faf3e7416b4caabed1e99c528917.tar.gz scala-fbba81991e69faf3e7416b4caabed1e99c528917.tar.bz2 scala-fbba81991e69faf3e7416b4caabed1e99c528917.zip |
SI-9574 Prevent illegal overrides of members with module types
Commit f32a32b1b33c9d7ccd62467e3e10cb69930023c8 introduced the ability
to override objects with other objects. The exception that allows
these overrides (where the usual subtyping check fails) was applied to
all members whose type is a module class. This is too broad, however,
because it not only applies to members of the form `object foo` but
also `def foo: bar.type` (where `bar` is an `object`).
The fix is to restrict the exception to those cases where both
definitions actually are objects.
Diffstat (limited to 'Gemfile')
0 files changed, 0 insertions, 0 deletions