Merge pull request #1107 from dotty-staging/fix/wildApprox-lazyref

ProtoTypes#wildApprox: fix LazyRef approximation

Author: odersky

src/dotty/tools/dotc/typer/ProtoTypes.scala

@@ -420,6 +420,8 @@ object ProtoTypes {
         WildcardType(tp1a.bounds | tp2a.bounds)
       else
         tp.derivedOrType(tp1a, tp2a)
+    case tp: LazyRef =>
+      WildcardType
     case tp: SelectionProto =>
       tp.derivedSelectionProto(tp.name, wildApprox(tp.memberProto), NoViewsAllowed)
     case tp: ViewProto =>

tests/pos/i1103.scala

@@ -0,0 +1,5 @@
+class Sys[S]
+class Foo[T <: Sys[T]] {
+  val t: T = ???
+  def foo[A <: Sys[A]](x: A = t) = x
+}