1 files changed, 30 insertions, 0 deletions
diff --git a/test/files/run/t4287inferredMethodTypes.check b/test/files/run/t4287inferredMethodTypes.check
new file mode 100644
index 0000000000..56e9c097cc
--- /dev/null
+++ b/test/files/run/t4287inferredMethodTypes.check
@@ -0,0 +1,30 @@
+[[syntax trees at end of                     typer]] // newSource1.scala
+[0:92]package [0:0]<empty> {
+  [0:21]class A extends [7:21][23]scala.AnyRef {
+    [8:16]<paramaccessor> private[this] val a: [8]Int = _;
+    <8:20>def <init>(<8:20>a: [11]<type: [11]scala.Int> = [17:20]A.a): [7]A = <8:20>{
+      <8:20><8:20><8:20>A.super.<init>();
+      <8:20>()
+    }
+  };
+  [23:47]object A extends [32:47][49]scala.AnyRef {
+    [49]def <init>(): [32]A.type = [49]{
+      [49][49][49]A.super.<init>();
+      [32]()
+    };
+    [36:45]private[this] val a: [40]Int = [44:45]2;
+    [40]<stable> <accessor> def a: [40]Int = [40][40]A.this.a;
+    [8]<synthetic> def <init>$default$1: [8]Int = [19]A.a
+  };
+  [49:92]class B extends [57:92][65:66]A {
+    [65]def <init>(): [57]B = [65]{
+      [65][65][65]B.super.<init>([65]A.<init>$default$1);
+      [57]()
+    };
+    [70:90]def <init>([79:80]a: [79]Int): [74]B = [84:90]{
+      [84:90][84:90][84]B.this.<init>();
+      [84]()
+    }
+  }
+}
+