From 32fc8fc3bf4201bbb68426b134d5aac95c641e5f Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Tue, 16 Jul 2013 13:09:24 +1000 Subject: 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. --- test/files/pos/t7668.scala | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 test/files/pos/t7668.scala (limited to 'test') 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 +} -- cgit v1.2.3