From c11cf0b6c55cc2ec15820dceb6ba825726deed88 Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Wed, 13 Feb 2013 17:01:36 +0100 Subject: SI-7120 Erasure must honor typeref prefixes Erasure was discarding these, which led to unnecessarily wide types in quite particular circumstances. This showed up as a double definition error in the reported bug when the bridge method clashed with the erased signature. --- test/files/run/t7120/Base_1.scala | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 test/files/run/t7120/Base_1.scala (limited to 'test/files/run/t7120/Base_1.scala') diff --git a/test/files/run/t7120/Base_1.scala b/test/files/run/t7120/Base_1.scala new file mode 100644 index 0000000000..be07b4f34f --- /dev/null +++ b/test/files/run/t7120/Base_1.scala @@ -0,0 +1,10 @@ +// This bug doesn't depend on separate compilation, +// in the interests of minimizing the log output during +// debugging this problem, I've split the compilation. + +case class Container( v: String ) + +trait Base[ T <: AnyRef ] { + type UserType = T + protected def defect: PartialFunction[ UserType, String ] +} -- cgit v1.2.3