From ce223fe7abc47af712382a64404604e75f9f4d20 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Thu, 16 Sep 2010 22:26:04 +0000 Subject: closes #1569, #3731: refactored dependent metho... closes #1569, #3731: refactored dependent method types to get rid of debruijn indices and use singleton types instead. this is the core of the dependent types refactoring, no implicit or inference changes (one baffling discovery: resultType should drop annotations that don't subclass TypeConstraint, even in the trivial case... wow -- thanks to Tiark for helping me figure it out on a terrace in Barcelona TODO: probably need a more principled approach to the propagation of plugin type-annotations) review by odersky --- test/files/neg/depmet_1.scala | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 test/files/neg/depmet_1.scala (limited to 'test/files/neg/depmet_1.scala') diff --git a/test/files/neg/depmet_1.scala b/test/files/neg/depmet_1.scala new file mode 100644 index 0000000000..fc672e1ed8 --- /dev/null +++ b/test/files/neg/depmet_1.scala @@ -0,0 +1,5 @@ +object Test { + def precise0(y: x.type)(x: String): Unit = {} + def precise1(x: String, y: x.type): Unit = {} + def precise2[T <: y.type](y: String): Unit = {} +} \ No newline at end of file -- cgit v1.2.3