diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-07-16 13:09:24 +1000 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-07-16 13:09:24 +1000 |
commit | 32fc8fc3bf4201bbb68426b134d5aac95c641e5f (patch) | |
tree | 1311833758e48c64cb983e242f4ab8d0df3e8e0f /test/files | |
parent | 11dcf82910b388046e675d76d277b09b931d5363 (diff) | |
download | scala-32fc8fc3bf4201bbb68426b134d5aac95c641e5f.tar.gz scala-32fc8fc3bf4201bbb68426b134d5aac95c641e5f.tar.bz2 scala-32fc8fc3bf4201bbb68426b134d5aac95c641e5f.zip |
SI-7668 Better return type inheritance for dep. method types
Return type inheritance already handles substitution of
type parameters of the overriding method for those of the
overriding.
This commit extends this to do the same for parameter symbols.
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/pos/t7668.scala | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/test/files/pos/t7668.scala b/test/files/pos/t7668.scala new file mode 100644 index 0000000000..222a13d039 --- /dev/null +++ b/test/files/pos/t7668.scala @@ -0,0 +1,12 @@ +trait Space { + type T + val x: T +} + +trait Extractor { + def extract(s: Space): s.T +} + +class Sub extends Extractor { + def extract(s: Space) = s.x +} |