diff --git a/compiler/src/dotty/tools/dotc/core/Types.overflow b/compiler/src/dotty/tools/dotc/core/Types.overflow deleted file mode 100644 index 77f1f6fc195b..000000000000 --- a/compiler/src/dotty/tools/dotc/core/Types.overflow +++ /dev/null @@ -1,66 +0,0 @@ -object Types { - class Type { - - /** The non-private symbol with given name in the given class that matches this type. - * @param inClass The class containing the symbol's definition - * @param name The name of the symbol we are looking for - * @param site The base type from which member types are computed - def matchingTermSymbol(inClass: Symbol, name: Name, site: Type)(implicit ctx: Context): Symbol = { - var denot = inClass.info.nonPrivateDecl(name) - if (denot.isTerm) { // types of the same name always match - if (denot.isOverloaded) - denot = denot.atSignature(this.signature) // seems we need two kinds of signatures here - if (!(site.memberInfo(denot.symbol) matches this)) - denot = NoDenotation - } - denot.symbol - } - - final def firstParamTypes: List[Type] = this match { - case mt: MethodType => mt.paramTypes - case pt: PolyType => pt.firstParamTypes - case _ => Nil - } - - /** `tp` is either a type variable or poly param. Returns - * Covariant if all occurrences of `tp` in this type are covariant - * Contravariant if all occurrences of `tp` in this type are contravariant - * Covariant | Contravariant if there are no occurrences of `tp` in this type - * EmptyFlags if `tp` occurs noon-variantly in this type - */ - def varianceOf(tp: Type): FlagSet = ??? - - - } - - class AndType extends Type { - - def derived_& (tp1: Type, tp2: Type)(implicit ctx: Context) = - if ((tp1 eq this.tp1) && (tp2 eq this.tp2)) this - else tp1 & tp2 - - } - - class OrType extends Type { - - def derived_| (tp1: Type, tp2: Type)(implicit ctx: Context) = - if ((tp1 eq this.tp1) && (tp2 eq this.tp2)) this - else tp1 | tp2 - - } - - class MethodType { - /* probably won't be needed - private var _isVarArgs: Boolean = _ - private var knownVarArgs: Boolean = false - - def isVarArgs(implicit ctx: Context) = { - if (!knownVarArgs) { - _isVarArgs = paramTypes.nonEmpty && paramTypes.last.isRepeatedParam - knownVarArgs = true - } - _isVarArgs - } - */ - } -} \ No newline at end of file diff --git a/compiler/test-resources/type-printer/definitions b/compiler/test-resources/type-printer/test-definitions similarity index 100% rename from compiler/test-resources/type-printer/definitions rename to compiler/test-resources/type-printer/test-definitions diff --git a/compiler/test/dotty/tools/dotc/CompilationTests.scala b/compiler/test/dotty/tools/dotc/CompilationTests.scala index ee115e76d054..18159acc7b04 100644 --- a/compiler/test/dotty/tools/dotc/CompilationTests.scala +++ b/compiler/test/dotty/tools/dotc/CompilationTests.scala @@ -74,11 +74,11 @@ class CompilationTests extends ParallelTesting { compileFilesInDir("tests/pos-java-interop", defaultOptions), compileFilesInDir("tests/pos-java-interop-separate", defaultOptions), compileFile("tests/pos/t2168.scala", defaultOptions), - compileFile("tests/pos/erasure.scala", defaultOptions), + compileFile("tests/pos/test-erasure.scala", defaultOptions), compileFile("tests/pos/Coder.scala", defaultOptions), compileFile("tests/pos/blockescapes.scala", defaultOptions), compileFile("tests/pos/functions1.scala", defaultOptions), - compileFile("tests/pos/implicits1.scala", defaultOptions), + compileFile("tests/pos/test-implicits1.scala", defaultOptions), compileFile("tests/pos/inferred.scala", defaultOptions), compileFile("tests/pos/selftypes.scala", defaultOptions), compileFile("tests/pos/varargs.scala", defaultOptions), @@ -86,9 +86,9 @@ class CompilationTests extends ParallelTesting { compileFile("tests/pos/opassign.scala", defaultOptions), compileFile("tests/pos/typedapply.scala", defaultOptions), compileFile("tests/pos/nameddefaults.scala", defaultOptions), - compileFile("tests/pos/desugar.scala", defaultOptions), + compileFile("tests/pos/test-desugar.scala", defaultOptions), compileFile("tests/pos/sigs.scala", defaultOptions), - compileFile("tests/pos/typers.scala", defaultOptions), + compileFile("tests/pos/test-typers.scala", defaultOptions), compileDir("tests/pos/typedIdents", defaultOptions), compileFile("tests/pos/assignments.scala", defaultOptions), compileFile("tests/pos/packageobject.scala", defaultOptions), diff --git a/tests/disabled/not-representable/hkt/compiler.error b/tests/disabled/not-representable/hkt/test-compiler.error similarity index 100% rename from tests/disabled/not-representable/hkt/compiler.error rename to tests/disabled/not-representable/hkt/test-compiler.error diff --git a/tests/disabled/reflect/run/t7974/Symbols.scala b/tests/disabled/reflect/run/t7974/t7974-Symbols.scala similarity index 100% rename from tests/disabled/reflect/run/t7974/Symbols.scala rename to tests/disabled/reflect/run/t7974/t7974-Symbols.scala diff --git a/tests/explicit-nulls/neg/erasure.scala b/tests/explicit-nulls/neg/test-erasure.scala similarity index 100% rename from tests/explicit-nulls/neg/erasure.scala rename to tests/explicit-nulls/neg/test-erasure.scala diff --git a/tests/neg-custom-args/allow-double-bindings/typers.scala b/tests/neg-custom-args/allow-double-bindings/test-typers.scala similarity index 100% rename from tests/neg-custom-args/allow-double-bindings/typers.scala rename to tests/neg-custom-args/allow-double-bindings/test-typers.scala diff --git a/tests/pending/naming-resolution/compiler.error b/tests/pending/naming-resolution/test-compiler.error similarity index 100% rename from tests/pending/naming-resolution/compiler.error rename to tests/pending/naming-resolution/test-compiler.error diff --git a/tests/pos-with-compiler/tasty/definitions.scala b/tests/pos-with-compiler/tasty/test-definitions.scala similarity index 100% rename from tests/pos-with-compiler/tasty/definitions.scala rename to tests/pos-with-compiler/tasty/test-definitions.scala diff --git a/tests/pos/desugar.scala b/tests/pos/test-desugar.scala similarity index 100% rename from tests/pos/desugar.scala rename to tests/pos/test-desugar.scala diff --git a/tests/pos/erasure.scala b/tests/pos/test-erasure.scala similarity index 100% rename from tests/pos/erasure.scala rename to tests/pos/test-erasure.scala diff --git a/tests/pos/implicits.scala b/tests/pos/test-implicits.scala similarity index 100% rename from tests/pos/implicits.scala rename to tests/pos/test-implicits.scala diff --git a/tests/pos/implicits1.scala b/tests/pos/test-implicits1.scala similarity index 100% rename from tests/pos/implicits1.scala rename to tests/pos/test-implicits1.scala diff --git a/tests/pos/implicits2.scala b/tests/pos/test-implicits2.scala similarity index 100% rename from tests/pos/implicits2.scala rename to tests/pos/test-implicits2.scala diff --git a/tests/pos/inliner2.scala b/tests/pos/test-inliner2.scala similarity index 100% rename from tests/pos/inliner2.scala rename to tests/pos/test-inliner2.scala diff --git a/tests/pos/typers.scala b/tests/pos/test-typers.scala similarity index 100% rename from tests/pos/typers.scala rename to tests/pos/test-typers.scala diff --git a/tests/run/implicits.check b/tests/run/test-implicits.check similarity index 100% rename from tests/run/implicits.check rename to tests/run/test-implicits.check diff --git a/tests/run/implicits.scala b/tests/run/test-implicits.scala similarity index 100% rename from tests/run/implicits.scala rename to tests/run/test-implicits.scala diff --git a/tests/semanticdb/expect/Definitions.expect.scala b/tests/semanticdb/expect/semanticdb-Definitions.expect.scala similarity index 100% rename from tests/semanticdb/expect/Definitions.expect.scala rename to tests/semanticdb/expect/semanticdb-Definitions.expect.scala diff --git a/tests/semanticdb/expect/Definitions.scala b/tests/semanticdb/expect/semanticdb-Definitions.scala similarity index 100% rename from tests/semanticdb/expect/Definitions.scala rename to tests/semanticdb/expect/semanticdb-Definitions.scala diff --git a/tests/semanticdb/expect/Flags.expect.scala b/tests/semanticdb/expect/semanticdb-Flags.expect.scala similarity index 100% rename from tests/semanticdb/expect/Flags.expect.scala rename to tests/semanticdb/expect/semanticdb-Flags.expect.scala diff --git a/tests/semanticdb/expect/Flags.scala b/tests/semanticdb/expect/semanticdb-Flags.scala similarity index 100% rename from tests/semanticdb/expect/Flags.scala rename to tests/semanticdb/expect/semanticdb-Flags.scala diff --git a/tests/semanticdb/expect/Types.expect.scala b/tests/semanticdb/expect/semanticdb-Types.expect.scala similarity index 100% rename from tests/semanticdb/expect/Types.expect.scala rename to tests/semanticdb/expect/semanticdb-Types.expect.scala diff --git a/tests/semanticdb/expect/Types.scala b/tests/semanticdb/expect/semanticdb-Types.scala similarity index 100% rename from tests/semanticdb/expect/Types.scala rename to tests/semanticdb/expect/semanticdb-Types.scala diff --git a/tests/semanticdb/metac.expect b/tests/semanticdb/metac.expect index c4a39771d5d4..5f2b2e5d61f2 100644 --- a/tests/semanticdb/metac.expect +++ b/tests/semanticdb/metac.expect @@ -479,40 +479,6 @@ Occurrences: [30:4..30:9): local -> local3 [30:10..30:11): + -> scala/Int#`+`(+4). -expect/Definitions.scala ------------------------- - -Summary: -Schema => SemanticDB v4 -Uri => Definitions.scala -Text => empty -Language => Scala -Symbols => 10 entries -Occurrences => 9 entries - -Symbols: -a/Definitions. => final object Definitions -a/Definitions.D# => class D -a/Definitions.D#``(). => primary ctor -a/Definitions.E# => trait E -a/Definitions.E#``(). => primary ctor -a/Definitions.`b_=`(). => var method b_= -a/Definitions.`b_=`().(x$1) => param x$1 -a/Definitions.a. => val method a -a/Definitions.b(). => var method b -a/Definitions.c(). => method c - -Occurrences: -[0:8..0:9): a <- a/ -[1:7..1:18): Definitions <- a/Definitions. -[2:6..2:7): a <- a/Definitions.a. -[3:6..3:7): b <- a/Definitions.b(). -[4:6..4:7): c <- a/Definitions.c(). -[5:2..5:2): <- a/Definitions.D#``(). -[5:8..5:9): D <- a/Definitions.D# -[6:2..6:2): <- a/Definitions.E#``(). -[6:8..6:9): E <- a/Definitions.E# - expect/Empty.scala ------------------ @@ -997,153 +963,6 @@ Occurrences: [9:37..9:37): -> scala/reflect/ClassTag.apply(). [9:37..9:37): -> java/lang/Integer#TYPE. -expect/Flags.scala ------------------- - -Summary: -Schema => SemanticDB v4 -Uri => Flags.scala -Text => empty -Language => Scala -Symbols => 50 entries -Occurrences => 82 entries - -Symbols: -flags/p/package. => final package object p -flags/p/package.AA# => class AA -flags/p/package.AA#``(). => primary ctor -flags/p/package.AA#``().(x) => param x -flags/p/package.AA#``().(y) => val param y -flags/p/package.AA#``().(z) => var param z -flags/p/package.AA#`z_=`(). => var method z_= -flags/p/package.AA#`z_=`().(x$1) => param x$1 -flags/p/package.AA#x. => val method x -flags/p/package.AA#y. => val method y -flags/p/package.AA#z(). => var method z -flags/p/package.C# => abstract class C -flags/p/package.C#[T] => covariant typeparam T -flags/p/package.C#[U] => contravariant typeparam U -flags/p/package.C#[V] => typeparam V -flags/p/package.C#``(). => primary ctor -flags/p/package.C#``().(x) => param x -flags/p/package.C#``().(y) => param y -flags/p/package.C#``().(z) => param z -flags/p/package.C#``(+1). => ctor -flags/p/package.C#``(+2). => ctor -flags/p/package.C#``(+2).(t) => param t -flags/p/package.C#w(). => abstract method w -flags/p/package.C#x. => val method x -flags/p/package.C#y. => val method y -flags/p/package.C#z. => val method z -flags/p/package.S# => class S -flags/p/package.S#[T] => typeparam T -flags/p/package.S#``(). => primary ctor -flags/p/package.T1# => type T1 -flags/p/package.T2# => type T2 -flags/p/package.T2#[T] => typeparam T -flags/p/package.U# => type U -flags/p/package.V# => type V -flags/p/package.X. => final case object X -flags/p/package.Y# => final class Y -flags/p/package.Y#``(). => primary ctor -flags/p/package.Z# => sealed trait Z -flags/p/package.Z#``(). => primary ctor -flags/p/package.`y_=`(). => var method y_= -flags/p/package.`y_=`().(x$1) => param x$1 -flags/p/package.m(). => method m -flags/p/package.m().[TT] => typeparam TT -flags/p/package.x. => lazy val method x -flags/p/package.xs1. => val method xs1 -flags/p/package.y(). => implicit var method y -flags/p/package.z(). => method z -flags/p/package.z().(pp) => param pp -local0 => val local xs2 -local1 => case val method t - -Occurrences: -[0:8..0:13): flags <- flags/ -[2:7..2:12): scala -> scala/ -[2:13..2:21): language -> scalaShadowing/language. -[2:22..2:34): experimental -> scalaShadowing/language.experimental. -[2:35..2:41): macros -> scalaShadowing/language.experimental.macros. -[4:15..5:3): <- flags/p/package. -[5:2..5:3): p -> flags/p/ -[5:19..5:20): x <- flags/p/package.x. -[6:25..6:26): y <- flags/p/package.y(). -[6:28..6:31): Int -> scala/Int# -[7:6..7:7): z <- flags/p/package.z(). -[7:8..7:10): pp <- flags/p/package.z().(pp) -[7:12..7:15): Int -> scala/Int# -[8:6..8:7): m <- flags/p/package.m(). -[8:8..8:10): TT <- flags/p/package.m().[TT] -[8:13..8:16): Int -> scala/Int# -[8:16..8:16): -> scala/Predef.`???`(). -[9:17..9:18): C <- flags/p/package.C# -[9:18..9:47): <- flags/p/package.C#``(). -[9:20..9:21): T <- flags/p/package.C#[T] -[9:24..9:25): U <- flags/p/package.C#[U] -[9:27..9:28): V <- flags/p/package.C#[V] -[9:30..9:31): x <- flags/p/package.C#x. -[9:33..9:34): T -> flags/p/package.C#[T] -[9:36..9:37): y <- flags/p/package.C#y. -[9:39..9:40): U -> flags/p/package.C#[U] -[9:42..9:43): z <- flags/p/package.C#z. -[9:45..9:46): V -> flags/p/package.C#[V] -[10:8..10:14): <- flags/p/package.C#``(+1). -[10:22..10:22): -> flags/p/package.C#``(). -[10:22..10:25): ??? -> scala/Predef.`???`(). -[10:27..10:30): ??? -> scala/Predef.`???`(). -[10:32..10:35): ??? -> scala/Predef.`???`(). -[11:8..11:14): <- flags/p/package.C#``(+2). -[11:13..11:14): t <- flags/p/package.C#``(+2).(t) -[11:16..11:17): T -> flags/p/package.C#[T] -[11:26..11:26): -> flags/p/package.C#``(). -[11:26..11:27): t -> flags/p/package.C#``(+2).(t) -[11:29..11:32): ??? -> scala/Predef.`???`(). -[11:34..11:37): ??? -> scala/Predef.`???`(). -[12:8..12:9): w <- flags/p/package.C#w(). -[12:11..12:14): Int -> scala/Int# -[14:7..14:9): T1 <- flags/p/package.T1# -[14:12..14:15): Int -> scala/Int# -[15:7..15:9): T2 <- flags/p/package.T2# -[15:10..15:11): T <- flags/p/package.T2#[T] -[15:15..15:16): S -> flags/p/package.S# -[15:17..15:18): T -> flags/p/package.T2#[T] -[16:7..16:8): U <- flags/p/package.U# -[16:12..16:15): Int -> scala/Int# -[17:7..17:8): V <- flags/p/package.V# -[17:12..17:15): Int -> scala/Int# -[18:14..18:15): X <- flags/p/package.X. -[19:2..19:2): <- flags/p/package.Y#``(). -[19:14..19:15): Y <- flags/p/package.Y# -[20:2..20:2): <- flags/p/package.Z#``(). -[20:15..20:16): Z <- flags/p/package.Z# -[21:8..21:10): AA <- flags/p/package.AA# -[21:10..21:42): <- flags/p/package.AA#``(). -[21:11..21:12): x <- flags/p/package.AA#x. -[21:14..21:17): Int -> scala/Int# -[21:23..21:24): y <- flags/p/package.AA#y. -[21:26..21:29): Int -> scala/Int# -[21:35..21:36): z <- flags/p/package.AA#z(). -[21:38..21:41): Int -> scala/Int# -[22:8..22:9): S <- flags/p/package.S# -[22:9..22:25): <- flags/p/package.S#``(). -[22:11..22:22): specialized -> scala/specialized# -[22:23..22:24): T <- flags/p/package.S#[T] -[23:6..23:10): List -> scala/package.List. -[23:10..23:10): -> scala/collection/SeqFactory#unapplySeq(). -[23:11..23:14): xs1 <- flags/p/package.xs1. -[23:18..23:21): ??? -> scala/Predef.`???`(). -[24:2..24:5): ??? -> scala/Predef.`???`(). -[24:19..24:23): List -> scala/package.List. -[24:23..24:23): -> scala/collection/SeqFactory#unapplySeq(). -[24:24..24:27): xs2 <- local0 -[24:32..24:35): ??? -> scala/Predef.`???`(). -[25:2..25:5): ??? -> scala/Predef.`???`(). -[25:22..25:26): List -> scala/package.List# -[25:27..25:28): t <- local1 -[25:33..25:36): ??? -> scala/Predef.`???`(). - expect/ForComprehension.scala ----------------------------- @@ -2717,398 +2536,16 @@ Occurrences: [12:10..12:14): self <- local1 [12:16..12:17): C -> traits/C# -expect/Types.scala ------------------- +expect/ValPattern.scala +----------------------- Summary: Schema => SemanticDB v4 -Uri => Types.scala +Uri => ValPattern.scala Text => empty Language => Scala -Symbols => 125 entries -Occurrences => 242 entries - -Symbols: -local0 => abstract method k -local1 => abstract method k -local2 => final class $anon -local3 => method k -local4 => final class $anon -local5 => final class $anon -local6 => method k -local7 => type L -local8 => typeparam T -types/B# => class B -types/B#``(). => primary ctor -types/C# => class C -types/C#``(). => primary ctor -types/P# => class P -types/P#C# => class C -types/P#C#``(). => primary ctor -types/P#X# => class X -types/P#X#``(). => primary ctor -types/P#``(). => primary ctor -types/P#x. => val method x -types/T# => class T -types/T#C# => class C -types/T#C#``(). => primary ctor -types/T#X# => class X -types/T#X#``(). => primary ctor -types/T#``(). => primary ctor -types/T#x. => val method x -types/Test. => final object Test -types/Test.C# => class C -types/Test.C#ByNameType. => final object ByNameType -types/Test.C#ByNameType.m1(). => method m1 -types/Test.C#ByNameType.m1().(x) => param x -types/Test.C#ClassInfoType1. => final object ClassInfoType1 -types/Test.C#ClassInfoType2# => class ClassInfoType2 -types/Test.C#ClassInfoType2#``(). => primary ctor -types/Test.C#ClassInfoType2#x(). => method x -types/Test.C#ClassInfoType3# => trait ClassInfoType3 -types/Test.C#ClassInfoType3#[T] => typeparam T -types/Test.C#ClassInfoType3#``(). => primary ctor -types/Test.C#Either. => val method Either -types/Test.C#MethodType. => final object MethodType -types/Test.C#MethodType.m3(). => method m3 -types/Test.C#MethodType.m4(). => method m4 -types/Test.C#MethodType.m5(). => method m5 -types/Test.C#MethodType.m5().(x) => param x -types/Test.C#MethodType.m6(). => method m6 -types/Test.C#MethodType.m6().(x) => param x -types/Test.C#MethodType.m6().[T] => typeparam T -types/Test.C#MethodType.x1(). => method x1 -types/Test.C#MethodType.x2(). => method x2 -types/Test.C#RepeatedType# => case class RepeatedType -types/Test.C#RepeatedType#_1(). => method _1 -types/Test.C#RepeatedType#``(). => primary ctor -types/Test.C#RepeatedType#``().(s) => val param s -types/Test.C#RepeatedType#m1(). => method m1 -types/Test.C#RepeatedType#m1().(x) => param x -types/Test.C#RepeatedType#s. => val method s -types/Test.C#RepeatedType. => final object RepeatedType -types/Test.C#RepeatedType.apply(). => method apply -types/Test.C#RepeatedType.apply().(s) => param s -types/Test.C#RepeatedType.unapplySeq(). => method unapplySeq -types/Test.C#RepeatedType.unapplySeq().(x$1) => param x$1 -types/Test.C#TypeType. => final object TypeType -types/Test.C#TypeType.T1# => type T1 -types/Test.C#TypeType.T4# => type T4 -types/Test.C#TypeType.T5# => type T5 -types/Test.C#TypeType.T5#[U] => typeparam U -types/Test.C#TypeType.m2(). => method m2 -types/Test.C#TypeType.m2().[T2] => typeparam T2 -types/Test.C#TypeType.m3(). => method m3 -types/Test.C#TypeType.m3().[M3] => typeparam M3 -types/Test.C#``(). => primary ctor -types/Test.C#annType1. => val method annType1 -types/Test.C#annType2. => val method annType2 -types/Test.C#compoundType1. => val method compoundType1 -types/Test.C#compoundType2. => val method compoundType2 -types/Test.C#compoundType3. => val method compoundType3 -types/Test.C#compoundType4. => val method compoundType4 -types/Test.C#compoundType5. => val method compoundType5 -types/Test.C#compoundType6. => val method compoundType6 -types/Test.C#existentialType2. => val method existentialType2 -types/Test.C#existentialType3. => val method existentialType3 -types/Test.C#existentialType4. => val method existentialType4 -types/Test.C#p. => val method p -types/Test.C#singleType1. => val method singleType1 -types/Test.C#singleType2. => val method singleType2 -types/Test.C#superType1. => val method superType1 -types/Test.C#superType2. => val method superType2 -types/Test.C#superType3. => val method superType3 -types/Test.C#thisType1. => val method thisType1 -types/Test.C#thisType2. => val method thisType2 -types/Test.C#typeLambda1(). => method typeLambda1 -types/Test.C#typeLambda1().[M] => typeparam M -types/Test.C#typeRef1. => val method typeRef1 -types/Test.C#typeRef2. => val method typeRef2 -types/Test.C#typeRef3. => val method typeRef3 -types/Test.C#typeRef4. => val method typeRef4 -types/Test.C#x. => val method x -types/Test.Literal. => final object Literal -types/Test.Literal.bool. => final val method bool -types/Test.Literal.char. => final val method char -types/Test.Literal.clazzOf. => final val method clazzOf -types/Test.Literal.double. => final val method double -types/Test.Literal.float. => final val method float -types/Test.Literal.int. => final val method int -types/Test.Literal.javaEnum. => final val method javaEnum -types/Test.Literal.long. => final val method long -types/Test.Literal.nil. => final val method nil -types/Test.Literal.string. => final val method string -types/Test.Literal.unit. => final val method unit -types/Test.M# => class M -types/Test.M#``(). => primary ctor -types/Test.M#m(). => method m -types/Test.N# => trait N -types/Test.N#``(). => primary ctor -types/Test.N#n(). => method n -types/ann# => class ann -types/ann#[T] => typeparam T -types/ann#``(). => primary ctor -types/ann#``().(x) => param x -types/ann#x. => val method x -types/ann1# => class ann1 -types/ann1#``(). => primary ctor -types/ann2# => class ann2 -types/ann2#``(). => primary ctor - -Occurrences: -[0:8..0:13): types <- types/ -[2:7..2:12): scala -> scala/ -[2:13..2:21): language -> scalaShadowing/language. -[2:22..2:34): existentials -> scalaShadowing/language.existentials. -[3:7..3:12): scala -> scala/ -[3:13..3:21): language -> scalaShadowing/language. -[3:22..3:33): higherKinds -> scalaShadowing/language.higherKinds. -[5:6..5:9): ann <- types/ann# -[5:9..5:18): <- types/ann#``(). -[5:10..5:11): T <- types/ann#[T] -[5:13..5:14): x <- types/ann#x. -[5:16..5:17): T -> types/ann#[T] -[5:27..5:32): scala -> scala/ -[5:33..5:43): annotation -> scala/annotation/ -[5:44..5:60): StaticAnnotation -> scala/annotation/StaticAnnotation# -[6:6..6:10): ann1 <- types/ann1# -[6:19..6:19): <- types/ann1#``(). -[6:19..6:24): scala -> scala/ -[6:25..6:35): annotation -> scala/annotation/ -[6:36..6:52): StaticAnnotation -> scala/annotation/StaticAnnotation# -[7:6..7:10): ann2 <- types/ann2# -[7:19..7:19): <- types/ann2#``(). -[7:19..7:24): scala -> scala/ -[7:25..7:35): annotation -> scala/annotation/ -[7:36..7:52): StaticAnnotation -> scala/annotation/StaticAnnotation# -[9:0..9:0): <- types/B#``(). -[9:6..9:7): B <- types/B# -[11:0..11:0): <- types/C#``(). -[11:6..11:7): C <- types/C# -[13:6..13:7): P <- types/P# -[14:2..14:2): <- types/P#``(). -[14:2..14:2): <- types/P#C#``(). -[14:8..14:9): C <- types/P#C# -[15:2..15:2): <- types/P#X#``(). -[15:8..15:9): X <- types/P#X# -[16:6..16:7): x <- types/P#x. -[16:14..16:15): X -> types/P#X# -[16:15..16:15): -> types/P#X#``(). -[19:6..19:7): T <- types/T# -[20:2..20:2): <- types/T#``(). -[20:2..20:2): <- types/T#C#``(). -[20:8..20:9): C <- types/T#C# -[21:2..21:2): <- types/T#X#``(). -[21:8..21:9): X <- types/T#X# -[22:6..22:7): x <- types/T#x. -[22:14..22:15): X -> types/T#X# -[22:15..22:15): -> types/T#X#``(). -[25:7..25:11): Test <- types/Test. -[26:8..26:9): M <- types/Test.M# -[27:4..27:4): <- types/Test.M#``(). -[27:8..27:9): m <- types/Test.M#m(). -[27:11..27:14): Int -> scala/Int# -[27:17..27:20): ??? -> scala/Predef.`???`(). -[30:8..30:9): N <- types/Test.N# -[31:4..31:4): <- types/Test.N#``(). -[31:8..31:9): n <- types/Test.N#n(). -[31:11..31:14): Int -> scala/Int# -[31:17..31:20): ??? -> scala/Predef.`???`(). -[34:8..34:9): C <- types/Test.C# -[34:18..34:18): <- types/Test.C#``(). -[34:18..34:19): M -> types/Test.M# -[34:19..34:19): -> types/Test.M#``(). -[35:8..35:9): p <- types/Test.C#p. -[35:16..35:17): P -> types/P# -[35:17..35:17): -> types/P#``(). -[36:8..36:9): x <- types/Test.C#x. -[36:12..36:13): p -> types/Test.C#p. -[36:14..36:15): x -> types/P#x. -[38:8..38:16): typeRef1 <- types/Test.C#typeRef1. -[38:18..38:19): C -> types/Test.C# -[38:22..38:25): ??? -> scala/Predef.`???`(). -[39:8..39:16): typeRef2 <- types/Test.C#typeRef2. -[39:18..39:19): p -> types/Test.C#p. -[39:20..39:21): C -> types/P#C# -[39:24..39:27): ??? -> scala/Predef.`???`(). -[40:8..40:16): typeRef3 <- types/Test.C#typeRef3. -[40:18..40:19): T -> types/T# -[40:20..40:21): C -> types/T#C# -[40:24..40:27): ??? -> scala/Predef.`???`(). -[41:8..41:16): typeRef4 <- types/Test.C#typeRef4. -[41:18..41:22): List -> scala/package.List# -[41:23..41:26): Int -> scala/Int# -[41:30..41:33): ??? -> scala/Predef.`???`(). -[43:8..43:19): singleType1 <- types/Test.C#singleType1. -[43:21..43:22): x -> types/Test.C#x. -[43:30..43:33): ??? -> scala/Predef.`???`(). -[44:8..44:19): singleType2 <- types/Test.C#singleType2. -[44:21..44:22): p -> types/Test.C#p. -[44:23..44:24): x -> types/P#x. -[44:32..44:35): ??? -> scala/Predef.`???`(). -[45:8..45:14): Either <- types/Test.C#Either. -[45:17..45:22): scala -> scala/ -[45:23..45:27): util -> scala/util/ -[45:28..45:34): Either -> scala/util/Either. -[47:8..47:17): thisType1 <- types/Test.C#thisType1. -[47:31..47:34): ??? -> scala/Predef.`???`(). -[48:8..48:17): thisType2 <- types/Test.C#thisType2. -[48:33..48:36): ??? -> scala/Predef.`???`(). -[50:8..50:18): superType1 <- types/Test.C#superType1. -[50:27..50:28): m -> types/Test.M#m(). -[51:8..51:18): superType2 <- types/Test.C#superType2. -[51:30..51:31): m -> types/Test.M#m(). -[52:8..52:18): superType3 <- types/Test.C#superType3. -[52:32..52:33): m -> types/Test.M#m(). -[54:8..54:21): compoundType1 <- types/Test.C#compoundType1. -[54:29..54:30): k <- local0 -[54:32..54:35): Int -> scala/Int# -[54:40..54:43): ??? -> scala/Predef.`???`(). -[55:8..55:21): compoundType2 <- types/Test.C#compoundType2. -[55:23..55:24): M -> types/Test.M# -[55:30..55:31): N -> types/Test.N# -[55:34..55:37): ??? -> scala/Predef.`???`(). -[56:8..56:21): compoundType3 <- types/Test.C#compoundType3. -[56:23..56:24): M -> types/Test.M# -[56:30..56:31): N -> types/Test.N# -[56:38..56:39): k <- local1 -[56:41..56:44): Int -> scala/Int# -[56:49..56:52): ??? -> scala/Predef.`???`(). -[57:8..57:21): compoundType4 <- types/Test.C#compoundType4. -[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:28..58:29): M -> types/Test.M# -[58:29..58:29): -> types/Test.M#``(). -[58:35..58:36): N -> types/Test.N# -[59:8..59:21): compoundType6 <- types/Test.C#compoundType6. -[59:28..59:29): M -> types/Test.M# -[59:29..59:29): -> types/Test.M#``(). -[59:35..59:36): N -> types/Test.N# -[59:43..59:44): k <- local6 -[59:46..59:49): Int -> scala/Int# -[59:52..59:55): ??? -> scala/Predef.`???`(). -[61:8..61:16): annType1 <- types/Test.C#annType1. -[61:18..61:19): T -> types/T# -[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# -[64:36..64:39): ??? -> scala/Predef.`???`(). -[65:8..65:24): existentialType3 <- types/Test.C#existentialType3. -[65:27..65:32): Class -> java/lang/Class# -[65:33..65:40): forName -> java/lang/Class#forName(). -[66:8..66:24): existentialType4 <- types/Test.C#existentialType4. -[66:27..66:32): Class -> java/lang/Class# -[66:33..66:40): forName -> java/lang/Class#forName(). -[68:8..68:19): typeLambda1 <- types/Test.C#typeLambda1(). -[68:20..68:21): M <- types/Test.C#typeLambda1().[M] -[68:28..68:31): ??? -> scala/Predef.`???`(). -[69:4..69:15): typeLambda1 -> types/Test.C#typeLambda1(). -[69:24..69:25): L <- local7 -[69:26..69:27): T <- local8 -[69:31..69:35): List -> scala/package.List# -[69:36..69:37): T -> local8 -[71:11..71:25): ClassInfoType1 <- types/Test.C#ClassInfoType1. -[72:10..72:24): ClassInfoType2 <- types/Test.C#ClassInfoType2# -[72:33..72:33): <- types/Test.C#ClassInfoType2#``(). -[72:33..72:34): B -> types/B# -[72:34..72:34): -> types/B#``(). -[72:41..72:42): x <- types/Test.C#ClassInfoType2#x(). -[73:10..73:24): ClassInfoType3 <- types/Test.C#ClassInfoType3# -[73:24..73:27): <- types/Test.C#ClassInfoType3#``(). -[73:25..73:26): T <- types/Test.C#ClassInfoType3#[T] -[75:11..75:21): MethodType <- types/Test.C#MethodType. -[76:10..76:12): x1 <- types/Test.C#MethodType.x1(). -[76:14..76:17): Int -> scala/Int# -[76:20..76:23): ??? -> scala/Predef.`???`(). -[77:10..77:12): x2 <- types/Test.C#MethodType.x2(). -[77:14..77:17): Int -> scala/Int# -[77:20..77:23): ??? -> scala/Predef.`???`(). -[78:10..78:12): m3 <- types/Test.C#MethodType.m3(). -[78:14..78:17): Int -> scala/Int# -[78:20..78:23): ??? -> scala/Predef.`???`(). -[79:10..79:12): m4 <- types/Test.C#MethodType.m4(). -[79:16..79:19): Int -> scala/Int# -[79:22..79:25): ??? -> scala/Predef.`???`(). -[80:10..80:12): m5 <- types/Test.C#MethodType.m5(). -[80:13..80:14): x <- types/Test.C#MethodType.m5().(x) -[80:16..80:19): Int -> scala/Int# -[80:22..80:25): Int -> scala/Int# -[80:28..80:31): ??? -> scala/Predef.`???`(). -[81:10..81:12): m6 <- types/Test.C#MethodType.m6(). -[81:13..81:14): T <- types/Test.C#MethodType.m6().[T] -[81:16..81:17): x <- types/Test.C#MethodType.m6().(x) -[81:19..81:20): T -> types/Test.C#MethodType.m6().[T] -[81:23..81:24): T -> types/Test.C#MethodType.m6().[T] -[81:27..81:30): ??? -> scala/Predef.`???`(). -[84:11..84:21): ByNameType <- types/Test.C#ByNameType. -[85:10..85:12): m1 <- types/Test.C#ByNameType.m1(). -[85:13..85:14): x <- types/Test.C#ByNameType.m1().(x) -[85:19..85:22): Int -> scala/Int# -[85:25..85:28): Int -> scala/Int# -[85:31..85:34): ??? -> scala/Predef.`???`(). -[88:15..88:27): RepeatedType <- types/Test.C#RepeatedType# -[88:27..88:39): <- types/Test.C#RepeatedType#``(). -[88:28..88:29): s <- types/Test.C#RepeatedType#s. -[88:31..88:37): String -> scala/Predef.String# -[89:10..89:12): m1 <- types/Test.C#RepeatedType#m1(). -[89:13..89:14): x <- types/Test.C#RepeatedType#m1().(x) -[89:16..89:19): Int -> scala/Int# -[89:23..89:26): Int -> scala/Int# -[89:29..89:30): s -> types/Test.C#RepeatedType#s. -[89:31..89:37): length -> scala/collection/SeqOps#length(). -[92:11..92:19): TypeType <- types/Test.C#TypeType. -[93:11..93:13): T1 <- types/Test.C#TypeType.T1# -[94:10..94:12): m2 <- types/Test.C#TypeType.m2(). -[94:13..94:15): T2 <- types/Test.C#TypeType.m2().[T2] -[94:19..94:20): C -> types/Test.C# -[94:24..94:25): C -> types/Test.C# -[94:29..94:32): ??? -> scala/Predef.`???`(). -[95:10..95:12): m3 <- types/Test.C#TypeType.m3(). -[95:13..95:15): M3 <- types/Test.C#TypeType.m3().[M3] -[95:22..95:25): ??? -> scala/Predef.`???`(). -[96:11..96:13): T4 <- types/Test.C#TypeType.T4# -[96:16..96:17): C -> types/Test.C# -[97:11..97:13): T5 <- types/Test.C#TypeType.T5# -[97:14..97:15): U <- types/Test.C#TypeType.T5#[U] -[97:19..97:20): U -> types/Test.C#TypeType.T5#[U] -[101:9..101:16): Literal <- types/Test.Literal. -[102:14..102:17): int <- types/Test.Literal.int. -[103:14..103:18): long <- types/Test.Literal.long. -[104:14..104:19): float <- types/Test.Literal.float. -[105:14..105:20): double <- types/Test.Literal.double. -[106:14..106:17): nil <- types/Test.Literal.nil. -[107:14..107:18): char <- types/Test.Literal.char. -[108:14..108:20): string <- types/Test.Literal.string. -[109:14..109:18): bool <- types/Test.Literal.bool. -[110:14..110:18): unit <- types/Test.Literal.unit. -[111:14..111:22): javaEnum <- types/Test.Literal.javaEnum. -[111:25..111:29): java -> java/ -[111:30..111:33): nio -> java/nio/ -[111:34..111:38): file -> java/nio/file/ -[111:39..111:49): LinkOption -> java/nio/file/LinkOption# -[111:50..111:64): NOFOLLOW_LINKS -> java/nio/file/LinkOption#NOFOLLOW_LINKS. -[112:14..112:21): clazzOf <- types/Test.Literal.clazzOf. -[112:24..112:31): classOf -> scala/Predef.classOf(). -[112:32..112:38): Option -> scala/Option# -[112:39..112:42): Int -> scala/Int# - -expect/ValPattern.scala ------------------------ - -Summary: -Schema => SemanticDB v4 -Uri => ValPattern.scala -Text => empty -Language => Scala -Symbols => 22 entries -Occurrences => 63 entries +Symbols => 22 entries +Occurrences => 63 entries Symbols: example/ValPattern# => class ValPattern @@ -3433,34 +2870,597 @@ example/FilenameWithSpaces# => class FilenameWithSpaces example/FilenameWithSpaces#``(). => primary ctor Occurrences: -[0:8..0:15): example <- example/ -[2:0..2:0): <- example/FilenameWithSpaces#``(). -[2:6..2:24): FilenameWithSpaces <- example/FilenameWithSpaces# +[0:8..0:15): example <- example/ +[2:0..2:0): <- example/FilenameWithSpaces#``(). +[2:6..2:24): FilenameWithSpaces <- example/FilenameWithSpaces# + +expect/local-file.scala +----------------------- + +Summary: +Schema => SemanticDB v4 +Uri => local-file.scala +Text => empty +Language => Scala +Symbols => 3 entries +Occurrences => 7 entries + +Symbols: +example/`local-file`# => class local-file +example/`local-file`#``(). => primary ctor +local0 => val local local + +Occurrences: +[0:8..0:15): example <- example/ +[2:7..2:17): local-file <- example/`local-file`# +[3:2..3:2): <- example/`local-file`#``(). +[3:2..3:9): locally -> dotty/DottyPredef.locally(). +[4:8..4:13): local <- local0 +[5:4..5:9): local -> local0 +[5:10..5:11): + -> scala/Int#`+`(+4). + +expect/semanticdb-Definitions.scala +----------------------------------- + +Summary: +Schema => SemanticDB v4 +Uri => semanticdb-Definitions.scala +Text => empty +Language => Scala +Symbols => 10 entries +Occurrences => 9 entries + +Symbols: +a/Definitions. => final object Definitions +a/Definitions.D# => class D +a/Definitions.D#``(). => primary ctor +a/Definitions.E# => trait E +a/Definitions.E#``(). => primary ctor +a/Definitions.`b_=`(). => var method b_= +a/Definitions.`b_=`().(x$1) => param x$1 +a/Definitions.a. => val method a +a/Definitions.b(). => var method b +a/Definitions.c(). => method c + +Occurrences: +[0:8..0:9): a <- a/ +[1:7..1:18): Definitions <- a/Definitions. +[2:6..2:7): a <- a/Definitions.a. +[3:6..3:7): b <- a/Definitions.b(). +[4:6..4:7): c <- a/Definitions.c(). +[5:2..5:2): <- a/Definitions.D#``(). +[5:8..5:9): D <- a/Definitions.D# +[6:2..6:2): <- a/Definitions.E#``(). +[6:8..6:9): E <- a/Definitions.E# + +expect/semanticdb-Flags.scala +----------------------------- + +Summary: +Schema => SemanticDB v4 +Uri => semanticdb-Flags.scala +Text => empty +Language => Scala +Symbols => 50 entries +Occurrences => 82 entries + +Symbols: +flags/p/package. => final package object p +flags/p/package.AA# => class AA +flags/p/package.AA#``(). => primary ctor +flags/p/package.AA#``().(x) => param x +flags/p/package.AA#``().(y) => val param y +flags/p/package.AA#``().(z) => var param z +flags/p/package.AA#`z_=`(). => var method z_= +flags/p/package.AA#`z_=`().(x$1) => param x$1 +flags/p/package.AA#x. => val method x +flags/p/package.AA#y. => val method y +flags/p/package.AA#z(). => var method z +flags/p/package.C# => abstract class C +flags/p/package.C#[T] => covariant typeparam T +flags/p/package.C#[U] => contravariant typeparam U +flags/p/package.C#[V] => typeparam V +flags/p/package.C#``(). => primary ctor +flags/p/package.C#``().(x) => param x +flags/p/package.C#``().(y) => param y +flags/p/package.C#``().(z) => param z +flags/p/package.C#``(+1). => ctor +flags/p/package.C#``(+2). => ctor +flags/p/package.C#``(+2).(t) => param t +flags/p/package.C#w(). => abstract method w +flags/p/package.C#x. => val method x +flags/p/package.C#y. => val method y +flags/p/package.C#z. => val method z +flags/p/package.S# => class S +flags/p/package.S#[T] => typeparam T +flags/p/package.S#``(). => primary ctor +flags/p/package.T1# => type T1 +flags/p/package.T2# => type T2 +flags/p/package.T2#[T] => typeparam T +flags/p/package.U# => type U +flags/p/package.V# => type V +flags/p/package.X. => final case object X +flags/p/package.Y# => final class Y +flags/p/package.Y#``(). => primary ctor +flags/p/package.Z# => sealed trait Z +flags/p/package.Z#``(). => primary ctor +flags/p/package.`y_=`(). => var method y_= +flags/p/package.`y_=`().(x$1) => param x$1 +flags/p/package.m(). => method m +flags/p/package.m().[TT] => typeparam TT +flags/p/package.x. => lazy val method x +flags/p/package.xs1. => val method xs1 +flags/p/package.y(). => implicit var method y +flags/p/package.z(). => method z +flags/p/package.z().(pp) => param pp +local0 => val local xs2 +local1 => case val method t + +Occurrences: +[0:8..0:13): flags <- flags/ +[2:7..2:12): scala -> scala/ +[2:13..2:21): language -> scalaShadowing/language. +[2:22..2:34): experimental -> scalaShadowing/language.experimental. +[2:35..2:41): macros -> scalaShadowing/language.experimental.macros. +[4:15..5:3): <- flags/p/package. +[5:2..5:3): p -> flags/p/ +[5:19..5:20): x <- flags/p/package.x. +[6:25..6:26): y <- flags/p/package.y(). +[6:28..6:31): Int -> scala/Int# +[7:6..7:7): z <- flags/p/package.z(). +[7:8..7:10): pp <- flags/p/package.z().(pp) +[7:12..7:15): Int -> scala/Int# +[8:6..8:7): m <- flags/p/package.m(). +[8:8..8:10): TT <- flags/p/package.m().[TT] +[8:13..8:16): Int -> scala/Int# +[8:16..8:16): -> scala/Predef.`???`(). +[9:17..9:18): C <- flags/p/package.C# +[9:18..9:47): <- flags/p/package.C#``(). +[9:20..9:21): T <- flags/p/package.C#[T] +[9:24..9:25): U <- flags/p/package.C#[U] +[9:27..9:28): V <- flags/p/package.C#[V] +[9:30..9:31): x <- flags/p/package.C#x. +[9:33..9:34): T -> flags/p/package.C#[T] +[9:36..9:37): y <- flags/p/package.C#y. +[9:39..9:40): U -> flags/p/package.C#[U] +[9:42..9:43): z <- flags/p/package.C#z. +[9:45..9:46): V -> flags/p/package.C#[V] +[10:8..10:14): <- flags/p/package.C#``(+1). +[10:22..10:22): -> flags/p/package.C#``(). +[10:22..10:25): ??? -> scala/Predef.`???`(). +[10:27..10:30): ??? -> scala/Predef.`???`(). +[10:32..10:35): ??? -> scala/Predef.`???`(). +[11:8..11:14): <- flags/p/package.C#``(+2). +[11:13..11:14): t <- flags/p/package.C#``(+2).(t) +[11:16..11:17): T -> flags/p/package.C#[T] +[11:26..11:26): -> flags/p/package.C#``(). +[11:26..11:27): t -> flags/p/package.C#``(+2).(t) +[11:29..11:32): ??? -> scala/Predef.`???`(). +[11:34..11:37): ??? -> scala/Predef.`???`(). +[12:8..12:9): w <- flags/p/package.C#w(). +[12:11..12:14): Int -> scala/Int# +[14:7..14:9): T1 <- flags/p/package.T1# +[14:12..14:15): Int -> scala/Int# +[15:7..15:9): T2 <- flags/p/package.T2# +[15:10..15:11): T <- flags/p/package.T2#[T] +[15:15..15:16): S -> flags/p/package.S# +[15:17..15:18): T -> flags/p/package.T2#[T] +[16:7..16:8): U <- flags/p/package.U# +[16:12..16:15): Int -> scala/Int# +[17:7..17:8): V <- flags/p/package.V# +[17:12..17:15): Int -> scala/Int# +[18:14..18:15): X <- flags/p/package.X. +[19:2..19:2): <- flags/p/package.Y#``(). +[19:14..19:15): Y <- flags/p/package.Y# +[20:2..20:2): <- flags/p/package.Z#``(). +[20:15..20:16): Z <- flags/p/package.Z# +[21:8..21:10): AA <- flags/p/package.AA# +[21:10..21:42): <- flags/p/package.AA#``(). +[21:11..21:12): x <- flags/p/package.AA#x. +[21:14..21:17): Int -> scala/Int# +[21:23..21:24): y <- flags/p/package.AA#y. +[21:26..21:29): Int -> scala/Int# +[21:35..21:36): z <- flags/p/package.AA#z(). +[21:38..21:41): Int -> scala/Int# +[22:8..22:9): S <- flags/p/package.S# +[22:9..22:25): <- flags/p/package.S#``(). +[22:11..22:22): specialized -> scala/specialized# +[22:23..22:24): T <- flags/p/package.S#[T] +[23:6..23:10): List -> scala/package.List. +[23:10..23:10): -> scala/collection/SeqFactory#unapplySeq(). +[23:11..23:14): xs1 <- flags/p/package.xs1. +[23:18..23:21): ??? -> scala/Predef.`???`(). +[24:2..24:5): ??? -> scala/Predef.`???`(). +[24:19..24:23): List -> scala/package.List. +[24:23..24:23): -> scala/collection/SeqFactory#unapplySeq(). +[24:24..24:27): xs2 <- local0 +[24:32..24:35): ??? -> scala/Predef.`???`(). +[25:2..25:5): ??? -> scala/Predef.`???`(). +[25:22..25:26): List -> scala/package.List# +[25:27..25:28): t <- local1 +[25:33..25:36): ??? -> scala/Predef.`???`(). -expect/local-file.scala ------------------------ +expect/semanticdb-Types.scala +----------------------------- Summary: Schema => SemanticDB v4 -Uri => local-file.scala +Uri => semanticdb-Types.scala Text => empty Language => Scala -Symbols => 3 entries -Occurrences => 7 entries +Symbols => 125 entries +Occurrences => 242 entries Symbols: -example/`local-file`# => class local-file -example/`local-file`#``(). => primary ctor -local0 => val local local +local0 => abstract method k +local1 => abstract method k +local2 => final class $anon +local3 => method k +local4 => final class $anon +local5 => final class $anon +local6 => method k +local7 => type L +local8 => typeparam T +types/B# => class B +types/B#``(). => primary ctor +types/C# => class C +types/C#``(). => primary ctor +types/P# => class P +types/P#C# => class C +types/P#C#``(). => primary ctor +types/P#X# => class X +types/P#X#``(). => primary ctor +types/P#``(). => primary ctor +types/P#x. => val method x +types/T# => class T +types/T#C# => class C +types/T#C#``(). => primary ctor +types/T#X# => class X +types/T#X#``(). => primary ctor +types/T#``(). => primary ctor +types/T#x. => val method x +types/Test. => final object Test +types/Test.C# => class C +types/Test.C#ByNameType. => final object ByNameType +types/Test.C#ByNameType.m1(). => method m1 +types/Test.C#ByNameType.m1().(x) => param x +types/Test.C#ClassInfoType1. => final object ClassInfoType1 +types/Test.C#ClassInfoType2# => class ClassInfoType2 +types/Test.C#ClassInfoType2#``(). => primary ctor +types/Test.C#ClassInfoType2#x(). => method x +types/Test.C#ClassInfoType3# => trait ClassInfoType3 +types/Test.C#ClassInfoType3#[T] => typeparam T +types/Test.C#ClassInfoType3#``(). => primary ctor +types/Test.C#Either. => val method Either +types/Test.C#MethodType. => final object MethodType +types/Test.C#MethodType.m3(). => method m3 +types/Test.C#MethodType.m4(). => method m4 +types/Test.C#MethodType.m5(). => method m5 +types/Test.C#MethodType.m5().(x) => param x +types/Test.C#MethodType.m6(). => method m6 +types/Test.C#MethodType.m6().(x) => param x +types/Test.C#MethodType.m6().[T] => typeparam T +types/Test.C#MethodType.x1(). => method x1 +types/Test.C#MethodType.x2(). => method x2 +types/Test.C#RepeatedType# => case class RepeatedType +types/Test.C#RepeatedType#_1(). => method _1 +types/Test.C#RepeatedType#``(). => primary ctor +types/Test.C#RepeatedType#``().(s) => val param s +types/Test.C#RepeatedType#m1(). => method m1 +types/Test.C#RepeatedType#m1().(x) => param x +types/Test.C#RepeatedType#s. => val method s +types/Test.C#RepeatedType. => final object RepeatedType +types/Test.C#RepeatedType.apply(). => method apply +types/Test.C#RepeatedType.apply().(s) => param s +types/Test.C#RepeatedType.unapplySeq(). => method unapplySeq +types/Test.C#RepeatedType.unapplySeq().(x$1) => param x$1 +types/Test.C#TypeType. => final object TypeType +types/Test.C#TypeType.T1# => type T1 +types/Test.C#TypeType.T4# => type T4 +types/Test.C#TypeType.T5# => type T5 +types/Test.C#TypeType.T5#[U] => typeparam U +types/Test.C#TypeType.m2(). => method m2 +types/Test.C#TypeType.m2().[T2] => typeparam T2 +types/Test.C#TypeType.m3(). => method m3 +types/Test.C#TypeType.m3().[M3] => typeparam M3 +types/Test.C#``(). => primary ctor +types/Test.C#annType1. => val method annType1 +types/Test.C#annType2. => val method annType2 +types/Test.C#compoundType1. => val method compoundType1 +types/Test.C#compoundType2. => val method compoundType2 +types/Test.C#compoundType3. => val method compoundType3 +types/Test.C#compoundType4. => val method compoundType4 +types/Test.C#compoundType5. => val method compoundType5 +types/Test.C#compoundType6. => val method compoundType6 +types/Test.C#existentialType2. => val method existentialType2 +types/Test.C#existentialType3. => val method existentialType3 +types/Test.C#existentialType4. => val method existentialType4 +types/Test.C#p. => val method p +types/Test.C#singleType1. => val method singleType1 +types/Test.C#singleType2. => val method singleType2 +types/Test.C#superType1. => val method superType1 +types/Test.C#superType2. => val method superType2 +types/Test.C#superType3. => val method superType3 +types/Test.C#thisType1. => val method thisType1 +types/Test.C#thisType2. => val method thisType2 +types/Test.C#typeLambda1(). => method typeLambda1 +types/Test.C#typeLambda1().[M] => typeparam M +types/Test.C#typeRef1. => val method typeRef1 +types/Test.C#typeRef2. => val method typeRef2 +types/Test.C#typeRef3. => val method typeRef3 +types/Test.C#typeRef4. => val method typeRef4 +types/Test.C#x. => val method x +types/Test.Literal. => final object Literal +types/Test.Literal.bool. => final val method bool +types/Test.Literal.char. => final val method char +types/Test.Literal.clazzOf. => final val method clazzOf +types/Test.Literal.double. => final val method double +types/Test.Literal.float. => final val method float +types/Test.Literal.int. => final val method int +types/Test.Literal.javaEnum. => final val method javaEnum +types/Test.Literal.long. => final val method long +types/Test.Literal.nil. => final val method nil +types/Test.Literal.string. => final val method string +types/Test.Literal.unit. => final val method unit +types/Test.M# => class M +types/Test.M#``(). => primary ctor +types/Test.M#m(). => method m +types/Test.N# => trait N +types/Test.N#``(). => primary ctor +types/Test.N#n(). => method n +types/ann# => class ann +types/ann#[T] => typeparam T +types/ann#``(). => primary ctor +types/ann#``().(x) => param x +types/ann#x. => val method x +types/ann1# => class ann1 +types/ann1#``(). => primary ctor +types/ann2# => class ann2 +types/ann2#``(). => primary ctor Occurrences: -[0:8..0:15): example <- example/ -[2:7..2:17): local-file <- example/`local-file`# -[3:2..3:2): <- example/`local-file`#``(). -[3:2..3:9): locally -> dotty/DottyPredef.locally(). -[4:8..4:13): local <- local0 -[5:4..5:9): local -> local0 -[5:10..5:11): + -> scala/Int#`+`(+4). +[0:8..0:13): types <- types/ +[2:7..2:12): scala -> scala/ +[2:13..2:21): language -> scalaShadowing/language. +[2:22..2:34): existentials -> scalaShadowing/language.existentials. +[3:7..3:12): scala -> scala/ +[3:13..3:21): language -> scalaShadowing/language. +[3:22..3:33): higherKinds -> scalaShadowing/language.higherKinds. +[5:6..5:9): ann <- types/ann# +[5:9..5:18): <- types/ann#``(). +[5:10..5:11): T <- types/ann#[T] +[5:13..5:14): x <- types/ann#x. +[5:16..5:17): T -> types/ann#[T] +[5:27..5:32): scala -> scala/ +[5:33..5:43): annotation -> scala/annotation/ +[5:44..5:60): StaticAnnotation -> scala/annotation/StaticAnnotation# +[6:6..6:10): ann1 <- types/ann1# +[6:19..6:19): <- types/ann1#``(). +[6:19..6:24): scala -> scala/ +[6:25..6:35): annotation -> scala/annotation/ +[6:36..6:52): StaticAnnotation -> scala/annotation/StaticAnnotation# +[7:6..7:10): ann2 <- types/ann2# +[7:19..7:19): <- types/ann2#``(). +[7:19..7:24): scala -> scala/ +[7:25..7:35): annotation -> scala/annotation/ +[7:36..7:52): StaticAnnotation -> scala/annotation/StaticAnnotation# +[9:0..9:0): <- types/B#``(). +[9:6..9:7): B <- types/B# +[11:0..11:0): <- types/C#``(). +[11:6..11:7): C <- types/C# +[13:6..13:7): P <- types/P# +[14:2..14:2): <- types/P#``(). +[14:2..14:2): <- types/P#C#``(). +[14:8..14:9): C <- types/P#C# +[15:2..15:2): <- types/P#X#``(). +[15:8..15:9): X <- types/P#X# +[16:6..16:7): x <- types/P#x. +[16:14..16:15): X -> types/P#X# +[16:15..16:15): -> types/P#X#``(). +[19:6..19:7): T <- types/T# +[20:2..20:2): <- types/T#``(). +[20:2..20:2): <- types/T#C#``(). +[20:8..20:9): C <- types/T#C# +[21:2..21:2): <- types/T#X#``(). +[21:8..21:9): X <- types/T#X# +[22:6..22:7): x <- types/T#x. +[22:14..22:15): X -> types/T#X# +[22:15..22:15): -> types/T#X#``(). +[25:7..25:11): Test <- types/Test. +[26:8..26:9): M <- types/Test.M# +[27:4..27:4): <- types/Test.M#``(). +[27:8..27:9): m <- types/Test.M#m(). +[27:11..27:14): Int -> scala/Int# +[27:17..27:20): ??? -> scala/Predef.`???`(). +[30:8..30:9): N <- types/Test.N# +[31:4..31:4): <- types/Test.N#``(). +[31:8..31:9): n <- types/Test.N#n(). +[31:11..31:14): Int -> scala/Int# +[31:17..31:20): ??? -> scala/Predef.`???`(). +[34:8..34:9): C <- types/Test.C# +[34:18..34:18): <- types/Test.C#``(). +[34:18..34:19): M -> types/Test.M# +[34:19..34:19): -> types/Test.M#``(). +[35:8..35:9): p <- types/Test.C#p. +[35:16..35:17): P -> types/P# +[35:17..35:17): -> types/P#``(). +[36:8..36:9): x <- types/Test.C#x. +[36:12..36:13): p -> types/Test.C#p. +[36:14..36:15): x -> types/P#x. +[38:8..38:16): typeRef1 <- types/Test.C#typeRef1. +[38:18..38:19): C -> types/Test.C# +[38:22..38:25): ??? -> scala/Predef.`???`(). +[39:8..39:16): typeRef2 <- types/Test.C#typeRef2. +[39:18..39:19): p -> types/Test.C#p. +[39:20..39:21): C -> types/P#C# +[39:24..39:27): ??? -> scala/Predef.`???`(). +[40:8..40:16): typeRef3 <- types/Test.C#typeRef3. +[40:18..40:19): T -> types/T# +[40:20..40:21): C -> types/T#C# +[40:24..40:27): ??? -> scala/Predef.`???`(). +[41:8..41:16): typeRef4 <- types/Test.C#typeRef4. +[41:18..41:22): List -> scala/package.List# +[41:23..41:26): Int -> scala/Int# +[41:30..41:33): ??? -> scala/Predef.`???`(). +[43:8..43:19): singleType1 <- types/Test.C#singleType1. +[43:21..43:22): x -> types/Test.C#x. +[43:30..43:33): ??? -> scala/Predef.`???`(). +[44:8..44:19): singleType2 <- types/Test.C#singleType2. +[44:21..44:22): p -> types/Test.C#p. +[44:23..44:24): x -> types/P#x. +[44:32..44:35): ??? -> scala/Predef.`???`(). +[45:8..45:14): Either <- types/Test.C#Either. +[45:17..45:22): scala -> scala/ +[45:23..45:27): util -> scala/util/ +[45:28..45:34): Either -> scala/util/Either. +[47:8..47:17): thisType1 <- types/Test.C#thisType1. +[47:31..47:34): ??? -> scala/Predef.`???`(). +[48:8..48:17): thisType2 <- types/Test.C#thisType2. +[48:33..48:36): ??? -> scala/Predef.`???`(). +[50:8..50:18): superType1 <- types/Test.C#superType1. +[50:27..50:28): m -> types/Test.M#m(). +[51:8..51:18): superType2 <- types/Test.C#superType2. +[51:30..51:31): m -> types/Test.M#m(). +[52:8..52:18): superType3 <- types/Test.C#superType3. +[52:32..52:33): m -> types/Test.M#m(). +[54:8..54:21): compoundType1 <- types/Test.C#compoundType1. +[54:29..54:30): k <- local0 +[54:32..54:35): Int -> scala/Int# +[54:40..54:43): ??? -> scala/Predef.`???`(). +[55:8..55:21): compoundType2 <- types/Test.C#compoundType2. +[55:23..55:24): M -> types/Test.M# +[55:30..55:31): N -> types/Test.N# +[55:34..55:37): ??? -> scala/Predef.`???`(). +[56:8..56:21): compoundType3 <- types/Test.C#compoundType3. +[56:23..56:24): M -> types/Test.M# +[56:30..56:31): N -> types/Test.N# +[56:38..56:39): k <- local1 +[56:41..56:44): Int -> scala/Int# +[56:49..56:52): ??? -> scala/Predef.`???`(). +[57:8..57:21): compoundType4 <- types/Test.C#compoundType4. +[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:28..58:29): M -> types/Test.M# +[58:29..58:29): -> types/Test.M#``(). +[58:35..58:36): N -> types/Test.N# +[59:8..59:21): compoundType6 <- types/Test.C#compoundType6. +[59:28..59:29): M -> types/Test.M# +[59:29..59:29): -> types/Test.M#``(). +[59:35..59:36): N -> types/Test.N# +[59:43..59:44): k <- local6 +[59:46..59:49): Int -> scala/Int# +[59:52..59:55): ??? -> scala/Predef.`???`(). +[61:8..61:16): annType1 <- types/Test.C#annType1. +[61:18..61:19): T -> types/T# +[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# +[64:36..64:39): ??? -> scala/Predef.`???`(). +[65:8..65:24): existentialType3 <- types/Test.C#existentialType3. +[65:27..65:32): Class -> java/lang/Class# +[65:33..65:40): forName -> java/lang/Class#forName(). +[66:8..66:24): existentialType4 <- types/Test.C#existentialType4. +[66:27..66:32): Class -> java/lang/Class# +[66:33..66:40): forName -> java/lang/Class#forName(). +[68:8..68:19): typeLambda1 <- types/Test.C#typeLambda1(). +[68:20..68:21): M <- types/Test.C#typeLambda1().[M] +[68:28..68:31): ??? -> scala/Predef.`???`(). +[69:4..69:15): typeLambda1 -> types/Test.C#typeLambda1(). +[69:24..69:25): L <- local7 +[69:26..69:27): T <- local8 +[69:31..69:35): List -> scala/package.List# +[69:36..69:37): T -> local8 +[71:11..71:25): ClassInfoType1 <- types/Test.C#ClassInfoType1. +[72:10..72:24): ClassInfoType2 <- types/Test.C#ClassInfoType2# +[72:33..72:33): <- types/Test.C#ClassInfoType2#``(). +[72:33..72:34): B -> types/B# +[72:34..72:34): -> types/B#``(). +[72:41..72:42): x <- types/Test.C#ClassInfoType2#x(). +[73:10..73:24): ClassInfoType3 <- types/Test.C#ClassInfoType3# +[73:24..73:27): <- types/Test.C#ClassInfoType3#``(). +[73:25..73:26): T <- types/Test.C#ClassInfoType3#[T] +[75:11..75:21): MethodType <- types/Test.C#MethodType. +[76:10..76:12): x1 <- types/Test.C#MethodType.x1(). +[76:14..76:17): Int -> scala/Int# +[76:20..76:23): ??? -> scala/Predef.`???`(). +[77:10..77:12): x2 <- types/Test.C#MethodType.x2(). +[77:14..77:17): Int -> scala/Int# +[77:20..77:23): ??? -> scala/Predef.`???`(). +[78:10..78:12): m3 <- types/Test.C#MethodType.m3(). +[78:14..78:17): Int -> scala/Int# +[78:20..78:23): ??? -> scala/Predef.`???`(). +[79:10..79:12): m4 <- types/Test.C#MethodType.m4(). +[79:16..79:19): Int -> scala/Int# +[79:22..79:25): ??? -> scala/Predef.`???`(). +[80:10..80:12): m5 <- types/Test.C#MethodType.m5(). +[80:13..80:14): x <- types/Test.C#MethodType.m5().(x) +[80:16..80:19): Int -> scala/Int# +[80:22..80:25): Int -> scala/Int# +[80:28..80:31): ??? -> scala/Predef.`???`(). +[81:10..81:12): m6 <- types/Test.C#MethodType.m6(). +[81:13..81:14): T <- types/Test.C#MethodType.m6().[T] +[81:16..81:17): x <- types/Test.C#MethodType.m6().(x) +[81:19..81:20): T -> types/Test.C#MethodType.m6().[T] +[81:23..81:24): T -> types/Test.C#MethodType.m6().[T] +[81:27..81:30): ??? -> scala/Predef.`???`(). +[84:11..84:21): ByNameType <- types/Test.C#ByNameType. +[85:10..85:12): m1 <- types/Test.C#ByNameType.m1(). +[85:13..85:14): x <- types/Test.C#ByNameType.m1().(x) +[85:19..85:22): Int -> scala/Int# +[85:25..85:28): Int -> scala/Int# +[85:31..85:34): ??? -> scala/Predef.`???`(). +[88:15..88:27): RepeatedType <- types/Test.C#RepeatedType# +[88:27..88:39): <- types/Test.C#RepeatedType#``(). +[88:28..88:29): s <- types/Test.C#RepeatedType#s. +[88:31..88:37): String -> scala/Predef.String# +[89:10..89:12): m1 <- types/Test.C#RepeatedType#m1(). +[89:13..89:14): x <- types/Test.C#RepeatedType#m1().(x) +[89:16..89:19): Int -> scala/Int# +[89:23..89:26): Int -> scala/Int# +[89:29..89:30): s -> types/Test.C#RepeatedType#s. +[89:31..89:37): length -> scala/collection/SeqOps#length(). +[92:11..92:19): TypeType <- types/Test.C#TypeType. +[93:11..93:13): T1 <- types/Test.C#TypeType.T1# +[94:10..94:12): m2 <- types/Test.C#TypeType.m2(). +[94:13..94:15): T2 <- types/Test.C#TypeType.m2().[T2] +[94:19..94:20): C -> types/Test.C# +[94:24..94:25): C -> types/Test.C# +[94:29..94:32): ??? -> scala/Predef.`???`(). +[95:10..95:12): m3 <- types/Test.C#TypeType.m3(). +[95:13..95:15): M3 <- types/Test.C#TypeType.m3().[M3] +[95:22..95:25): ??? -> scala/Predef.`???`(). +[96:11..96:13): T4 <- types/Test.C#TypeType.T4# +[96:16..96:17): C -> types/Test.C# +[97:11..97:13): T5 <- types/Test.C#TypeType.T5# +[97:14..97:15): U <- types/Test.C#TypeType.T5#[U] +[97:19..97:20): U -> types/Test.C#TypeType.T5#[U] +[101:9..101:16): Literal <- types/Test.Literal. +[102:14..102:17): int <- types/Test.Literal.int. +[103:14..103:18): long <- types/Test.Literal.long. +[104:14..104:19): float <- types/Test.Literal.float. +[105:14..105:20): double <- types/Test.Literal.double. +[106:14..106:17): nil <- types/Test.Literal.nil. +[107:14..107:18): char <- types/Test.Literal.char. +[108:14..108:20): string <- types/Test.Literal.string. +[109:14..109:18): bool <- types/Test.Literal.bool. +[110:14..110:18): unit <- types/Test.Literal.unit. +[111:14..111:22): javaEnum <- types/Test.Literal.javaEnum. +[111:25..111:29): java -> java/ +[111:30..111:33): nio -> java/nio/ +[111:34..111:38): file -> java/nio/file/ +[111:39..111:49): LinkOption -> java/nio/file/LinkOption# +[111:50..111:64): NOFOLLOW_LINKS -> java/nio/file/LinkOption#NOFOLLOW_LINKS. +[112:14..112:21): clazzOf <- types/Test.Literal.clazzOf. +[112:24..112:31): classOf -> scala/Predef.classOf(). +[112:32..112:38): Option -> scala/Option# +[112:39..112:42): Int -> scala/Int# expect/semanticdb-extract.scala ------------------------------- diff --git a/tests/untried/neg/implicits.check b/tests/untried/neg/test-implicits.check similarity index 100% rename from tests/untried/neg/implicits.check rename to tests/untried/neg/test-implicits.check diff --git a/tests/untried/neg/implicits.scala b/tests/untried/neg/test-implicits.scala similarity index 100% rename from tests/untried/neg/implicits.scala rename to tests/untried/neg/test-implicits.scala