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.

1 files changed, 3 insertions, 0 deletions

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]
+}