summaryrefslogtreecommitdiff
path: root/test/files/run/t4287inferredMethodTypes.check
blob: 56e9c097cc12023c880e9de38c6532a831b400e8 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
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]()
    }
  }
}