Bridge generation in erasure implemented.

Relies on meaning of "override" to see which bridges are required.
Doesn't take in account value classes for now
Uses 'adapt' used by erasure for converting arguments and return value.

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/pos/Bridges.scala b/tests/pos/Bridges.scala
new file mode 100644
index 000000000..a7350d785
--- /dev/null
+++ b/tests/pos/Bridges.scala
@@ -0,0 +1,11 @@
+abstract class X[T]{
+  def go2(x:T)(y:T = x): T = y
+  def go: T 
+  def go1(x: T) = x
+}
+
+class Y extends X[Int] {
+  override def go2(x: Int)(z: Int) = 2
+  override def go = 0
+  override def go1(x: Int) = x
+}