remove special case for Annotated, update expect for anon class change

bishabosha · bishabosha · commit f82a8c778d4b · 2019-12-13T11:19:18.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/semanticdb/ExtractSemanticDB.scala b/compiler/src/dotty/tools/dotc/semanticdb/ExtractSemanticDB.scala
@@ -229,8 +229,6 @@ class ExtractSemanticDB extends Phase with
             traverseChildren(tree)
         case tree: Inlined =>
           traverse(tree.call)
-        case tree: Annotated => // skip the annotation (see `@param` in https://github.com/scalameta/scalameta/blob/633824474e99bbfefe12ad0cc73da1fe064b3e9b/tests/jvm/src/test/resources/example/Annotations.scala#L37)
-          traverse(tree.arg)
         case _ =>
           traverseChildren(tree)
 
diff --git a/compiler/test/dotty/tools/dotc/semanticdb/SemanticdbTests.scala b/compiler/test/dotty/tools/dotc/semanticdb/SemanticdbTests.scala
@@ -39,7 +39,7 @@ class SemanticdbTests with
   def runExpectTest(updateExpectFiles: Boolean): Unit =
     val target = generateSemanticdb()
     val errors = mutable.ArrayBuffer.empty[Path]
-    given metacSb: StringBuilder = StringBuilder(5000)
+    val metacSb: StringBuilder = StringBuilder(5000)
     for source <- inputFiles().sorted do
       val filename = source.getFileName.toString
       val relpath = expectSrc.relativize(source)
@@ -71,9 +71,8 @@ class SemanticdbTests with
       val expectName = metacExpectFile.getFileName
       val relExpect = rootSrc.relativize(metacExpectFile)
       val obtained = metacSb.toString
-      def writeOut =
       collectFailingDiff(expected, obtained, s"a/$relExpect", s"b/$relExpect") {
-        Files.write(metacExpectFile.resolveSibling("" + expectName + ".out"), obtained.getBytes(StandardCharsets.UTF_8));
+        Files.write(metacExpectFile.resolveSibling("" + expectName + ".out"), obtained.getBytes(StandardCharsets.UTF_8))
         errors += metacExpectFile
       }
     errors.foreach { expect =>
diff --git a/tests/semanticdb/expect/Advanced.expect.scala b/tests/semanticdb/expect/Advanced.expect.scala
@@ -11,8 +11,8 @@ class C/*<-advanced::C#*/[T/*<-advanced::C#[T]*/] {
 
 class Structural/*<-advanced::Structural#*/ {
   def s1/*<-advanced::Structural#s1().*/: { val x/*<-local0*/: Int/*->scala::Int#*/ } = ???/*->scala::Predef.`???`().*/
-  def s2/*<-advanced::Structural#s2().*/: { val x/*<-local1*/: Int/*->scala::Int#*/ } = /*<-local2*/new { val x/*<-local3*/: Int/*->scala::Int#*/ = ???/*->scala::Predef.`???`().*/ }
-  def s3/*<-advanced::Structural#s3().*/: { def m/*<-local4*/(x/*<-local5*/: Int/*->scala::Int#*/): Int/*->scala::Int#*/ } = /*<-local6*/new { def m/*<-local7*/(x/*<-local8*/: Int/*->scala::Int#*/): Int/*->scala::Int#*/ = ???/*->scala::Predef.`???`().*/ }
+  def s2/*<-advanced::Structural#s2().*/: { val x/*<-local1*/: Int/*->scala::Int#*/ } = new { val x/*<-local3*/: Int/*->scala::Int#*/ = ???/*->scala::Predef.`???`().*/ }
+  def s3/*<-advanced::Structural#s3().*/: { def m/*<-local4*/(x/*<-local5*/: Int/*->scala::Int#*/): Int/*->scala::Int#*/ } = new { def m/*<-local7*/(x/*<-local8*/: Int/*->scala::Int#*/): Int/*->scala::Int#*/ = ???/*->scala::Predef.`???`().*/ }
 }
 
 class Wildcards/*<-advanced::Wildcards#*/ {
diff --git a/tests/semanticdb/expect/Annotations.expect.scala b/tests/semanticdb/expect/Annotations.expect.scala
@@ -34,5 +34,5 @@ object M/*<-annot::M.*/ {
 trait T/*<-annot::T#*/
 
 object Alias/*<-annot::Alias.*/ {
-  type A/*<-annot::Alias.A#*/ = ClassAnnotation/*->com::javacp::annot::ClassAnnotation#*/ @param
+  type A/*<-annot::Alias.A#*/ = ClassAnnotation/*->com::javacp::annot::ClassAnnotation#*/ @param/*->scala::annotation::meta::param#*/
 }
diff --git a/tests/semanticdb/expect/Anonymous.expect.scala b/tests/semanticdb/expect/Anonymous.expect.scala
@@ -16,5 +16,5 @@ class Anonymous/*<-example::Anonymous#*/ {
   }
 
   trait Foo/*<-example::Anonymous#Foo#*/
-  val foo/*<-example::Anonymous#foo.*/ = /*<-local1*/new Foo/*->example::Anonymous#Foo#*/ {}
+  val foo/*<-example::Anonymous#foo.*/ = new Foo/*->example::Anonymous#Foo#*/ {}
 }
diff --git a/tests/semanticdb/expect/Classes.expect.scala b/tests/semanticdb/expect/Classes.expect.scala
@@ -23,7 +23,7 @@ class C8/*<-classes::C8#*/(private[this] val x/*<-classes::C8#x.*/: Int/*->scala
 class C9/*<-classes::C9#*/(private[this] var x/*<-classes::C9#x().*/: Int/*->scala::Int#*/)
 
 object N/*<-classes::N.*/ {
-  val anonClass/*<-classes::N.anonClass.*/ = /*<-local0*/new C7/*->classes::C7#*/(42) {
+  val anonClass/*<-classes::N.anonClass.*/ = new C7/*->classes::C7#*/(42) {
     val local/*<-local1*/ = ???/*->scala::Predef.`???`().*/
   }
   val anonFun/*<-classes::N.anonFun.*/ = List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(1).map/*->scala::collection::immutable::List#map().*/ { i/*<-local2*/ =>
diff --git a/tests/semanticdb/expect/InstrumentTyper.expect.scala b/tests/semanticdb/expect/InstrumentTyper.expect.scala
@@ -20,7 +20,7 @@ class InstrumentTyper/*<-example::InstrumentTyper#*/ { self/*<-local0*/: AnyRef/
     Literal/*->types::Test.Literal.*/.clazzOf/*->types::Test.Literal.clazzOf.*/,
     List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/()
   )
-  type AnnotatedType/*<-example::InstrumentTyper#AnnotatedType#*/ = Int/*->scala::Int#*/ @param
+  type AnnotatedType/*<-example::InstrumentTyper#AnnotatedType#*/ = Int/*->scala::Int#*/ @param/*->scala::annotation::meta::param#*/
   def singletonType/*<-example::InstrumentTyper#singletonType().*/(x/*<-example::InstrumentTyper#singletonType().(x)*/: Predef/*->scala::Predef.*/.type) = ???/*->scala::Predef.`???`().*/
   final val clazzOf/*<-example::InstrumentTyper#clazzOf.*/ = classOf/*->scala::Predef.classOf().*/[Option/*->scala::Option#*/[Int/*->scala::Int#*/]]
 }
diff --git a/tests/semanticdb/expect/Methods.expect.scala b/tests/semanticdb/expect/Methods.expect.scala
@@ -24,7 +24,7 @@ class Methods/*<-example::Methods#*/[T/*<-example::Methods#[T]*/] {
   def m11/*<-example::Methods#m11(+1).*/(x/*<-example::Methods#m11(+1).(x)*/: Example/*->example::Example.*/.type) = ???/*->scala::Predef.`???`().*/
   def m12a/*<-example::Methods#m12a().*/(x/*<-example::Methods#m12a().(x)*/: {}) = ???/*->scala::Predef.`???`().*/
   def m12b/*<-example::Methods#m12b().*/(x/*<-example::Methods#m12b().(x)*/: { val x/*<-local0*/: Int/*->scala::Int#*/ }) = ???/*->scala::Predef.`???`().*/
-  def m13/*<-example::Methods#m13().*/(x/*<-example::Methods#m13().(x)*/: Int/*->scala::Int#*/ @unchecked) = ???/*->scala::Predef.`???`().*/
+  def m13/*<-example::Methods#m13().*/(x/*<-example::Methods#m13().(x)*/: Int/*->scala::Int#*/ @unchecked/*->scala::unchecked#*/) = ???/*->scala::Predef.`???`().*/
   def m15/*<-example::Methods#m15().*/(x/*<-example::Methods#m15().(x)*/: => Int/*->scala::Int#*/) = ???/*->scala::Predef.`???`().*/
   def m16/*<-example::Methods#m16().*/(x/*<-example::Methods#m16().(x)*/: Int/*->scala::Int#*/*) = ???/*->scala::Predef.`???`().*/
   object m17/*<-example::Methods#m17.*/ { def m/*<-example::Methods#m17.m().*/() = ???/*->scala::Predef.`???`().*/ }
diff --git a/tests/semanticdb/expect/Traits.expect.scala b/tests/semanticdb/expect/Traits.expect.scala
@@ -6,7 +6,7 @@ trait T/*<-traits::T#*/ {
 
 sealed trait U/*<-traits::U#*/
 object U/*<-traits::U.*/ {
-  def u/*<-traits::U.u().*/: U/*->traits::U#*/ = /*<-local0*/new U/*->traits::U#*/ {}
+  def u/*<-traits::U.u().*/: U/*->traits::U#*/ = new U/*->traits::U#*/ {}
 }
 
 class C/*<-traits::C#*/
diff --git a/tests/semanticdb/expect/Types.expect.scala b/tests/semanticdb/expect/Types.expect.scala
@@ -55,12 +55,12 @@ object Test/*<-types::Test.*/ {
     val compoundType1/*<-types::Test.C#compoundType1.*/: { def k/*<-local0*/: Int/*->scala::Int#*/ } = ???/*->scala::Predef.`???`().*/
     val compoundType2/*<-types::Test.C#compoundType2.*/: M/*->types::Test.M#*/ with N/*->types::Test.N#*/ = ???/*->scala::Predef.`???`().*/
     val compoundType3/*<-types::Test.C#compoundType3.*/: M/*->types::Test.M#*/ with N/*->types::Test.N#*/ { def k/*<-local1*/: Int/*->scala::Int#*/ } = ???/*->scala::Predef.`???`().*/
-    val compoundType4/*<-types::Test.C#compoundType4.*/ = /*<-local2*/new { def k/*<-local3*/: Int/*->scala::Int#*/ = ???/*->scala::Predef.`???`().*/ }
-    val compoundType5/*<-types::Test.C#compoundType5.*/ = /*<-local4*/new M/*->types::Test.M#*/ with N/*->types::Test.N#*/
-    val compoundType6/*<-types::Test.C#compoundType6.*/ = /*<-local5*/new M/*->types::Test.M#*/ with N/*->types::Test.N#*/ { def k/*<-local6*/: Int/*->scala::Int#*/ = ???/*->scala::Predef.`???`().*/ }
+    val compoundType4/*<-types::Test.C#compoundType4.*/ = new { def k/*<-local3*/: Int/*->scala::Int#*/ = ???/*->scala::Predef.`???`().*/ }
+    val compoundType5/*<-types::Test.C#compoundType5.*/ = new M/*->types::Test.M#*/ with N/*->types::Test.N#*/
+    val compoundType6/*<-types::Test.C#compoundType6.*/ = new M/*->types::Test.M#*/ with N/*->types::Test.N#*/ { def k/*<-local6*/: Int/*->scala::Int#*/ = ???/*->scala::Predef.`???`().*/ }
 
     val annType1/*<-types::Test.C#annType1.*/: T/*->types::T#*/ @ann(42) = ???/*->scala::Predef.`???`().*/
-    val annType2/*<-types::Test.C#annType2.*/: T/*->types::T#*/ @ann1 @ann2 = ???/*->scala::Predef.`???`().*/
+    val annType2/*<-types::Test.C#annType2.*/: T/*->types::T#*/ @ann1/*->types::ann1#*/ @ann2/*->types::ann2#*/ = ???/*->scala::Predef.`???`().*/
 
     val existentialType2/*<-types::Test.C#existentialType2.*/: List/*->scala::package.List#*/[_] = ???/*->scala::Predef.`???`().*/
     val existentialType3/*<-types::Test.C#existentialType3.*/ = Class/*->java::lang::Class#*/.forName/*->java::lang::Class#forName().*/("foo.Bar")
diff --git a/tests/semanticdb/metac.expect b/tests/semanticdb/metac.expect
@@ -50,7 +50,7 @@ Uri => Advanced.scala
 Text => empty
 Language => Scala
 Symbols => 34 entries
-Occurrences => 94 entries
+Occurrences => 92 entries
 
 Symbols:
 advanced/C# => class C
@@ -115,7 +115,6 @@ Occurrences:
 [13:6..13:8): s2 <- advanced/Structural#s2().
 [13:16..13:17): x <- local1
 [13:19..13:22): Int -> scala/Int#
-[13:27..13:27): <- local2
 [13:37..13:38): x <- local3
 [13:40..13:43): Int -> scala/Int#
 [13:46..13:49): ??? -> scala/Predef.`???`().
@@ -124,7 +123,6 @@ Occurrences:
 [14:18..14:19): x <- local5
 [14:21..14:24): Int -> scala/Int#
 [14:27..14:30): Int -> scala/Int#
-[14:35..14:35): <- local6
 [14:45..14:46): m <- local7
 [14:47..14:48): x <- local8
 [14:50..14:53): Int -> scala/Int#
@@ -193,7 +191,7 @@ Uri => Annotations.scala
 Text => empty
 Language => Scala
 Symbols => 22 entries
-Occurrences => 51 entries
+Occurrences => 52 entries
 
 Symbols:
 annot/Alias. => final object Alias
@@ -271,6 +269,7 @@ Occurrences:
 [35:7..35:12): Alias <- annot/Alias.
 [36:7..36:8): A <- annot/Alias.A#
 [36:11..36:26): ClassAnnotation -> com/javacp/annot/ClassAnnotation#
+[36:28..36:33): param -> scala/annotation/meta/param#
 
 expect/Anonymous.scala
 ----------------------
@@ -281,7 +280,7 @@ Uri => Anonymous.scala
 Text => empty
 Language => Scala
 Symbols => 13 entries
-Occurrences => 33 entries
+Occurrences => 32 entries
 
 Symbols:
 example/Anonymous# => class Anonymous
@@ -330,7 +329,6 @@ Occurrences:
 [17:2..17:2): <- example/Anonymous#Foo#`<init>`().
 [17:8..17:11): Foo <- example/Anonymous#Foo#
 [18:6..18:9): foo <- example/Anonymous#foo.
-[18:12..18:12): <- local1
 [18:16..18:19): Foo -> example/Anonymous#Foo#
 
 expect/Classes.scala
@@ -342,7 +340,7 @@ Uri => Classes.scala
 Text => empty
 Language => Scala
 Symbols => 75 entries
-Occurrences => 59 entries
+Occurrences => 58 entries
 
 Symbols:
 classes/C1# => final class C1
@@ -468,7 +466,6 @@ Occurrences:
 [22:30..22:33): Int -> scala/Int#
 [24:7..24:8): N <- classes/N.
 [25:6..25:15): anonClass <- classes/N.anonClass.
-[25:18..25:18): <- local0
 [25:22..25:24): C7 -> classes/C7#
 [25:24..25:24): -> classes/C7#`<init>`().
 [26:8..26:13): local <- local1
@@ -1509,7 +1506,7 @@ Uri => InstrumentTyper.scala
 Text => empty
 Language => Scala
 Symbols => 8 entries
-Occurrences => 54 entries
+Occurrences => 55 entries
 
 Symbols:
 example/InstrumentTyper# => class InstrumentTyper
@@ -1568,6 +1565,7 @@ Occurrences:
 [20:8..20:8): -> scala/collection/IterableFactory#apply().
 [22:7..22:20): AnnotatedType <- example/InstrumentTyper#AnnotatedType#
 [22:23..22:26): Int -> scala/Int#
+[22:28..22:33): param -> scala/annotation/meta/param#
 [23:6..23:19): singletonType <- example/InstrumentTyper#singletonType().
 [23:20..23:21): x <- example/InstrumentTyper#singletonType().(x)
 [23:23..23:29): Predef -> scala/Predef.
@@ -1886,7 +1884,7 @@ Uri => Methods.scala
 Text => empty
 Language => Scala
 Symbols => 70 entries
-Occurrences => 138 entries
+Occurrences => 139 entries
 
 Symbols:
 example/Methods# => class Methods
@@ -2059,6 +2057,7 @@ Occurrences:
 [26:6..26:9): m13 <- example/Methods#m13().
 [26:10..26:11): x <- example/Methods#m13().(x)
 [26:13..26:16): Int -> scala/Int#
+[26:18..26:27): unchecked -> scala/unchecked#
 [26:31..26:34): ??? -> scala/Predef.`???`().
 [27:6..27:9): m15 <- example/Methods#m15().
 [27:10..27:11): x <- example/Methods#m15().(x)
@@ -2683,7 +2682,7 @@ Uri => Traits.scala
 Text => empty
 Language => Scala
 Symbols => 13 entries
-Occurrences => 17 entries
+Occurrences => 16 entries
 
 Symbols:
 local0 => final class $anon
@@ -2710,7 +2709,6 @@ Occurrences:
 [7:7..7:8): U <- traits/U.
 [8:6..8:7): u <- traits/U.u().
 [8:9..8:10): U -> traits/U#
-[8:13..8:13): <- local0
 [8:17..8:18): U -> traits/U#
 [11:0..11:0): <- traits/C#`<init>`().
 [11:6..11:7): C <- traits/C#
@@ -2728,7 +2726,7 @@ Uri => Types.scala
 Text => empty
 Language => Scala
 Symbols => 125 entries
-Occurrences => 243 entries
+Occurrences => 242 entries
 
 Symbols:
 local0 => abstract method k
@@ -2977,17 +2975,14 @@ Occurrences:
 [56:41..56:44): Int -> scala/Int#
 [56:49..56:52): ??? -> scala/Predef.`???`().
 [57:8..57:21): compoundType4 <- types/Test.C#compoundType4.
-[57:24..57:24): <- local2
 [57:34..57:35): k <- local3
 [57:37..57:40): Int -> scala/Int#
 [57:43..57:46): ??? -> scala/Predef.`???`().
 [58:8..58:21): compoundType5 <- types/Test.C#compoundType5.
-[58:24..58:24): <- local4
 [58:28..58:29): M -> types/Test.M#
 [58:29..58:29): -> types/Test.M#`<init>`().
 [58:35..58:36): N -> types/Test.N#
 [59:8..59:21): compoundType6 <- types/Test.C#compoundType6.
-[59:24..59:24): <- local5
 [59:28..59:29): M -> types/Test.M#
 [59:29..59:29): -> types/Test.M#`<init>`().
 [59:35..59:36): N -> types/Test.N#
@@ -2999,6 +2994,8 @@ Occurrences:
 [61:31..61:34): ??? -> scala/Predef.`???`().
 [62:8..62:16): annType2 <- types/Test.C#annType2.
 [62:18..62:19): T -> types/T#
+[62:21..62:25): ann1 -> types/ann1#
+[62:27..62:31): ann2 -> types/ann2#
 [62:34..62:37): ??? -> scala/Predef.`???`().
 [64:8..64:24): existentialType2 <- types/Test.C#existentialType2.
 [64:26..64:30): List -> scala/package.List#

Original file line number	Diff line number	Diff line change
`@@ -11,8 +11,8 @@ class C/<-advanced::C#/[T/<-advanced::C#[T]/] {`
`11`	`11`
`12`	`12`	`class Structural/<-advanced::Structural#/ {`
`13`	`13`	def s1/<-advanced::Structural#s1()./: { val x/<-local0/: Int/->scala::Int#/ } = ???/->scala::Predef.`???`()./
`14`		- def s2/<-advanced::Structural#s2()./: { val x/<-local1/: Int/->scala::Int#/ } = /<-local2/new { val x/<-local3/: Int/->scala::Int#/ = ???/->scala::Predef.`???`()./ }
`15`		- def s3/<-advanced::Structural#s3()./: { def m/<-local4/(x/<-local5/: Int/->scala::Int#/): Int/->scala::Int#/ } = /<-local6/new { def m/<-local7/(x/<-local8/: Int/->scala::Int#/): Int/->scala::Int#/ = ???/->scala::Predef.`???`()./ }
	`14`	+ def s2/<-advanced::Structural#s2()./: { val x/<-local1/: Int/->scala::Int#/ } = new { val x/<-local3/: Int/->scala::Int#/ = ???/->scala::Predef.`???`()./ }
	`15`	+ def s3/<-advanced::Structural#s3()./: { def m/<-local4/(x/<-local5/: Int/->scala::Int#/): Int/->scala::Int#/ } = new { def m/<-local7/(x/<-local8/: Int/->scala::Int#/): Int/->scala::Int#/ = ???/->scala::Predef.`???`()./ }
`16`	`16`	`}`
`17`	`17`
`18`	`18`	`class Wildcards/<-advanced::Wildcards#/ {`
Original file line number	Diff line number	Diff line change
`@@ -34,5 +34,5 @@ object M/<-annot::M./ {`
`34`	`34`	`trait T/<-annot::T#/`
`35`	`35`
`36`	`36`	`object Alias/<-annot::Alias./ {`
`37`		`- type A/<-annot::Alias.A#/ = ClassAnnotation/->com::javacp::annot::ClassAnnotation#/ @param`
	`37`	`+ type A/<-annot::Alias.A#/ = ClassAnnotation/->com::javacp::annot::ClassAnnotation#/ @param/->scala::annotation::meta::param#/`
`38`	`38`	`}`
Original file line number	Diff line number	Diff line change
`@@ -16,5 +16,5 @@ class Anonymous/<-example::Anonymous#/ {`
`16`	`16`	`}`
`17`	`17`
`18`	`18`	`trait Foo/<-example::Anonymous#Foo#/`
`19`		`- val foo/<-example::Anonymous#foo./ = /<-local1/new Foo/->example::Anonymous#Foo#/ {}`
	`19`	`+ val foo/<-example::Anonymous#foo./ = new Foo/->example::Anonymous#Foo#/ {}`
`20`	`20`	`}`
Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ class C8/<-classes::C8#/(private[this] val x/<-classes::C8#x./: Int/*->scala`
`23`	`23`	`class C9/<-classes::C9#/(private[this] var x/<-classes::C9#x()./: Int/->scala::Int#/)`
`24`	`24`
`25`	`25`	`object N/<-classes::N./ {`
`26`		`- val anonClass/<-classes::N.anonClass./ = /<-local0/new C7/->classes::C7#/(42) {`
	`26`	`+ val anonClass/<-classes::N.anonClass./ = new C7/->classes::C7#/(42) {`
`27`	`27`	val local/<-local1/ = ???/->scala::Predef.`???`()./
`28`	`28`	`}`
`29`	`29`	`val anonFun/<-classes::N.anonFun./ = List/->scala::package.List.//->scala::collection::IterableFactory#apply()./(1).map/->scala::collection::immutable::List#map()./ { i/<-local2/ =>`
Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@ class InstrumentTyper/<-example::InstrumentTyper#/ { self/<-local0/: AnyRef/`
`20`	`20`	`Literal/->types::Test.Literal./.clazzOf/->types::Test.Literal.clazzOf./,`
`21`	`21`	`List/->scala::package.List.//->scala::collection::IterableFactory#apply()./()`
`22`	`22`	`)`
`23`		`- type AnnotatedType/<-example::InstrumentTyper#AnnotatedType#/ = Int/->scala::Int#/ @param`
	`23`	`+ type AnnotatedType/<-example::InstrumentTyper#AnnotatedType#/ = Int/->scala::Int#/ @param/->scala::annotation::meta::param#/`
`24`	`24`	def singletonType/<-example::InstrumentTyper#singletonType()./(x/<-example::InstrumentTyper#singletonType().(x)/: Predef/->scala::Predef./.type) = ???/->scala::Predef.`???`()./
`25`	`25`	`final val clazzOf/<-example::InstrumentTyper#clazzOf./ = classOf/->scala::Predef.classOf()./[Option/->scala::Option#/[Int/->scala::Int#/]]`
`26`	`26`	`}`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ trait T/<-traits::T#/ {`
`6`	`6`
`7`	`7`	`sealed trait U/<-traits::U#/`
`8`	`8`	`object U/<-traits::U./ {`
`9`		`- def u/<-traits::U.u()./: U/->traits::U#/ = /<-local0/new U/->traits::U#/ {}`
	`9`	`+ def u/<-traits::U.u()./: U/->traits::U#/ = new U/->traits::U#/ {}`
`10`	`10`	`}`
`11`	`11`
`12`	`12`	`class C/<-traits::C#/`