diff options
author | Paul Phillips <paulp@improving.org> | 2012-04-02 08:23:57 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-04-02 09:23:25 -0700 |
commit | 03f32bd22f85bf3a6f8824dbe4a7a989e717c071 (patch) | |
tree | 4befb2ee97185754d9db670494698c035aeea445 /test/files/pos | |
parent | f7535f72903f083b2444fb1d0b73363efa5482e9 (diff) | |
download | scala-03f32bd22f85bf3a6f8824dbe4a7a989e717c071.tar.gz scala-03f32bd22f85bf3a6f8824dbe4a7a989e717c071.tar.bz2 scala-03f32bd22f85bf3a6f8824dbe4a7a989e717c071.zip |
Fix for SI-3272.
"References to the type parameters in object-private or
object-protected values, variables, or methods (ยง5.2) of
the class are not checked for their variance position."
Review by @odersky.
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/t3272.scala | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/files/pos/t3272.scala b/test/files/pos/t3272.scala new file mode 100644 index 0000000000..8efd5ded2c --- /dev/null +++ b/test/files/pos/t3272.scala @@ -0,0 +1,8 @@ +trait A { + trait C[+T] { + protected[this] def f(t: T) {} + } + trait D[T] extends C[T] { + def g(t: T) { f(t) } + } +} |