From ace968dabf8e02f725f7b77cde90f64988a7b326 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 14 Jul 2014 13:17:34 +0200 Subject: Fix to rewire types t6574 has a new test where we produce identical code in an if-then-else. This broke the rewiring logic before, and is fixed now. Also, more comments and test cases. --- tests/pending/pos/class-dependent-extension-method.scala | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 tests/pending/pos/class-dependent-extension-method.scala (limited to 'tests/pending/pos/class-dependent-extension-method.scala') diff --git a/tests/pending/pos/class-dependent-extension-method.scala b/tests/pending/pos/class-dependent-extension-method.scala new file mode 100644 index 000000000..b557dfa8f --- /dev/null +++ b/tests/pending/pos/class-dependent-extension-method.scala @@ -0,0 +1,3 @@ +class C(val a: String) extends AnyVal { + def foo[U <: a.type]: Unit = foo[U] +} -- cgit v1.2.3