Skip to content

Commit 10ae898

Browse files
oderskyodersky
committed
Update semanticdb expect files and diagnostic message
1 parent 0c6954d commit 10ae898

File tree

3 files changed

+95
-95
lines changed

3 files changed

+95
-95
lines changed

‎compiler/test/dotty/tools/dotc/semanticdb/SemanticdbTests.scala‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -76,7 +76,7 @@ class SemanticdbTests:
7676
|inspect with:
7777
| diff $expect ${expect.resolveSibling("" + expect.getFileName + ".out")}
7878
|Or else update all expect files with
79-
| sbt 'dotty-compiler-bootstrapped/test:runMain dotty.tools.dotc.semanticdb.updateExpect'""".stripMargin)
79+
| sbt 'scala3-compiler-bootstrapped/test:runMain dotty.tools.dotc.semanticdb.updateExpect'""".stripMargin)
8080
Files.walk(target).sorted(Comparator.reverseOrder).forEach(Files.delete)
8181
if errors.nonEmpty then
8282
fail(s"${errors.size} errors in expect test.")

‎tests/semanticdb/expect/toplevel.expect.scala‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
/*<-_empty_::toplevel$package.*/inline val a/*<-_empty_::toplevel$package.a.*/ = ""
22
extension (x/*<-_empty_::toplevel$package.combine().(x)*/: Int/*->scala::Int#*/) def combine/*<-_empty_::toplevel$package.combine().*/ (y/*<-_empty_::toplevel$package.combine().(y)*/: Int/*->scala::Int#*/) = x/*->_empty_::toplevel$package.combine().(x)*/ +/*->scala::Int#`+`(+4).*/ y/*->_empty_::toplevel$package.combine().(y)*/
3-
def combine/*<-_empty_::toplevel$package.combine().*/(x/*<-_empty_::toplevel$package.combine().(x)*/: Int/*->scala::Int#*/, y/*<-_empty_::toplevel$package.combine().(y)*/: Int/*->scala::Int#*/, z/*<-_empty_::toplevel$package.combine().(z)*/: Int/*->scala::Int#*/) = x/*->_empty_::toplevel$package.combine().(x)*/ +/*->scala::Int#`+`(+4).*/ y/*->_empty_::toplevel$package.combine().(y)*/ +/*->scala::Int#`+`(+4).*/ z/*->_empty_::toplevel$package.combine().(z)*/
4-
def combine/*<-_empty_::toplevel$package.combine(+1).*/ = 0
3+
def combine/*<-_empty_::toplevel$package.combine(+1).*/(x/*<-_empty_::toplevel$package.combine(+1).(x)*/: Int/*->scala::Int#*/, y/*<-_empty_::toplevel$package.combine(+1).(y)*/: Int/*->scala::Int#*/, z/*<-_empty_::toplevel$package.combine(+1).(z)*/: Int/*->scala::Int#*/) = x/*->_empty_::toplevel$package.combine(+1).(x)*/ +/*->scala::Int#`+`(+4).*/ y/*->_empty_::toplevel$package.combine(+1).(y)*/ +/*->scala::Int#`+`(+4).*/ z/*->_empty_::toplevel$package.combine(+1).(z)*/
4+
def combine/*<-_empty_::toplevel$package.combine(+2).*/ = 0
55
def foo/*<-_empty_::toplevel$package.foo().*/ = "foo"
66
/*<-_empty_::MyProgram#*//*->_empty_::toplevel$package.MyProgram().*//*->scala::util::CommandLineParser.parseArgument().*//*->_empty_::MyProgram#main().(args)*//*->scala::util::CommandLineParser.FromString.given_FromString_Int.*//*->scala::util::CommandLineParser.showError().*//*->local0*/@main/*->scala::main#*/ def MyProgram/*<-_empty_::toplevel$package.MyProgram().*/(times/*<-_empty_::toplevel$package.MyProgram().(times)*/: Int/*->scala::Int#*/): Unit/*->scala::Unit#*/ = (/*->scala::LowPriorityImplicits#intWrapper().*/1 to/*->scala::runtime::RichInt#to().*/ times/*->_empty_::toplevel$package.MyProgram().(times)*/) foreach/*->scala::collection::immutable::Range#foreach().*/ (_ => println/*->scala::Predef.println(+1).*/("hello"))

‎tests/semanticdb/metac.expect‎

Lines changed: 92 additions & 92 deletions
Original file line numberDiff line numberDiff line change
@@ -757,12 +757,12 @@ _empty_/Enums.Suits.Diamonds. => case val static enum method Diamonds
757757
_empty_/Enums.Suits.Hearts. => case val static enum method Hearts
758758
_empty_/Enums.Suits.Spades. => case val static enum method Spades
759759
_empty_/Enums.Suits.derived$Eql(). => implicit method derived$Eql
760-
_empty_/Enums.Suits.extension_isBlack(). => method extension_isBlack
761-
_empty_/Enums.Suits.extension_isBlack().(suit) => param suit
762-
_empty_/Enums.Suits.extension_isRed(). => method extension_isRed
763-
_empty_/Enums.Suits.extension_isRed().(suit) => param suit
764760
_empty_/Enums.Suits.fromOrdinal(). => method fromOrdinal
765761
_empty_/Enums.Suits.fromOrdinal().(ordinal) => param ordinal
762+
_empty_/Enums.Suits.isBlack(). => method isBlack
763+
_empty_/Enums.Suits.isBlack().(suit) => param suit
764+
_empty_/Enums.Suits.isRed(). => method isRed
765+
_empty_/Enums.Suits.isRed().(suit) => param suit
766766
_empty_/Enums.Suits.valueOf(). => method valueOf
767767
_empty_/Enums.Suits.valueOf().($name) => param $name
768768
_empty_/Enums.Suits.values(). => method values
@@ -819,12 +819,12 @@ _empty_/Enums.`<:<`.fromOrdinal(). => method fromOrdinal
819819
_empty_/Enums.`<:<`.fromOrdinal().(ordinal) => param ordinal
820820
_empty_/Enums.`<:<`.given_T(). => final implicit method given_T
821821
_empty_/Enums.`<:<`.given_T().[T] => typeparam T
822-
_empty_/Enums.extension_unwrap(). => method extension_unwrap
823-
_empty_/Enums.extension_unwrap().(ev) => implicit param ev
824-
_empty_/Enums.extension_unwrap().(opt) => param opt
825-
_empty_/Enums.extension_unwrap().[A] => typeparam A
826-
_empty_/Enums.extension_unwrap().[B] => typeparam B
827822
_empty_/Enums.some1. => val method some1
823+
_empty_/Enums.unwrap(). => method unwrap
824+
_empty_/Enums.unwrap().(ev) => implicit param ev
825+
_empty_/Enums.unwrap().(opt) => param opt
826+
_empty_/Enums.unwrap().[A] => typeparam A
827+
_empty_/Enums.unwrap().[B] => typeparam B
828828
local0 => param x
829829

830830
Occurrences:
@@ -851,22 +851,22 @@ Occurrences:
851851
[11:25..11:30): Clubs <- _empty_/Enums.Suits.Clubs.
852852
[11:32..11:40): Diamonds <- _empty_/Enums.Suits.Diamonds.
853853
[13:9..13:14): Suits <- _empty_/Enums.Suits.
854-
[14:15..14:19): suit <- _empty_/Enums.Suits.extension_isRed().(suit)
854+
[14:15..14:19): suit <- _empty_/Enums.Suits.isRed().(suit)
855855
[14:21..14:26): Suits -> _empty_/Enums.Suits#
856-
[14:32..14:37): isRed <- _empty_/Enums.Suits.extension_isRed().
856+
[14:32..14:37): isRed <- _empty_/Enums.Suits.isRed().
857857
[14:39..14:46): Boolean -> scala/Boolean#
858-
[15:6..15:10): suit -> _empty_/Enums.Suits.extension_isRed().(suit)
858+
[15:6..15:10): suit -> _empty_/Enums.Suits.isRed().(suit)
859859
[15:11..15:13): == -> scala/Any#`==`().
860860
[15:14..15:20): Hearts -> _empty_/Enums.Suits.Hearts.
861861
[15:21..15:23): || -> scala/Boolean#`||`().
862-
[15:24..15:28): suit -> _empty_/Enums.Suits.extension_isRed().(suit)
862+
[15:24..15:28): suit -> _empty_/Enums.Suits.isRed().(suit)
863863
[15:29..15:31): == -> scala/Any#`==`().
864864
[15:32..15:40): Diamonds -> _empty_/Enums.Suits.Diamonds.
865-
[17:15..17:19): suit <- _empty_/Enums.Suits.extension_isBlack().(suit)
865+
[17:15..17:19): suit <- _empty_/Enums.Suits.isBlack().(suit)
866866
[17:21..17:26): Suits -> _empty_/Enums.Suits#
867-
[17:32..17:39): isBlack <- _empty_/Enums.Suits.extension_isBlack().
867+
[17:32..17:39): isBlack <- _empty_/Enums.Suits.isBlack().
868868
[17:41..17:48): Boolean -> scala/Boolean#
869-
[17:51..17:55): suit -> _empty_/Enums.Suits.extension_isBlack().(suit)
869+
[17:51..17:55): suit -> _empty_/Enums.Suits.isBlack().(suit)
870870
[18:11..18:17): Spades -> _empty_/Enums.Suits.Spades.
871871
[18:20..18:25): Clubs -> _empty_/Enums.Suits.Clubs.
872872
[21:7..21:15): WeekDays <- _empty_/Enums.WeekDays#
@@ -944,30 +944,30 @@ Occurrences:
944944
[49:24..49:25): T -> _empty_/Enums.`<:<`.given_T().[T]
945945
[49:29..49:33): Refl -> _empty_/Enums.`<:<`.Refl.
946946
[49:33..49:33): -> _empty_/Enums.`<:<`.Refl.apply().
947-
[51:13..51:14): A <- _empty_/Enums.extension_unwrap().[A]
948-
[51:16..51:17): B <- _empty_/Enums.extension_unwrap().[B]
949-
[51:19..51:22): opt <- _empty_/Enums.extension_unwrap().(opt)
947+
[51:13..51:14): A <- _empty_/Enums.unwrap().[A]
948+
[51:16..51:17): B <- _empty_/Enums.unwrap().[B]
949+
[51:19..51:22): opt <- _empty_/Enums.unwrap().(opt)
950950
[51:24..51:30): Option -> scala/Option#
951-
[51:31..51:32): A -> _empty_/Enums.extension_unwrap().[A]
952-
[51:39..51:45): unwrap <- _empty_/Enums.extension_unwrap().
953-
[51:52..51:54): ev <- _empty_/Enums.extension_unwrap().(ev)
954-
[51:56..51:57): A -> _empty_/Enums.extension_unwrap().[A]
951+
[51:31..51:32): A -> _empty_/Enums.unwrap().[A]
952+
[51:39..51:45): unwrap <- _empty_/Enums.unwrap().
953+
[51:52..51:54): ev <- _empty_/Enums.unwrap().(ev)
954+
[51:56..51:57): A -> _empty_/Enums.unwrap().[A]
955955
[51:58..51:61): <:< -> _empty_/Enums.`<:<`#
956956
[51:62..51:68): Option -> scala/Option#
957-
[51:69..51:70): B -> _empty_/Enums.extension_unwrap().[B]
957+
[51:69..51:70): B -> _empty_/Enums.unwrap().[B]
958958
[51:74..51:80): Option -> scala/Option#
959-
[51:81..51:82): B -> _empty_/Enums.extension_unwrap().[B]
960-
[51:86..51:88): ev -> _empty_/Enums.extension_unwrap().(ev)
959+
[51:81..51:82): B -> _empty_/Enums.unwrap().[B]
960+
[51:86..51:88): ev -> _empty_/Enums.unwrap().(ev)
961961
[52:9..52:13): Refl -> _empty_/Enums.`<:<`.Refl.
962962
[52:13..52:13): -> _empty_/Enums.`<:<`.Refl.unapply().
963-
[52:19..52:22): opt -> _empty_/Enums.extension_unwrap().(opt)
963+
[52:19..52:22): opt -> _empty_/Enums.unwrap().(opt)
964964
[52:23..52:30): flatMap -> scala/Option#flatMap().
965965
[52:31..52:39): identity -> scala/Predef.identity().
966966
[52:31..52:31): -> local0
967967
[52:40..52:46): Option -> scala/Option#
968-
[52:47..52:48): B -> _empty_/Enums.extension_unwrap().[B]
968+
[52:47..52:48): B -> _empty_/Enums.unwrap().[B]
969969
[54:6..54:11): some1 <- _empty_/Enums.some1.
970-
[54:14..54:14): -> _empty_/Enums.extension_unwrap().
970+
[54:14..54:14): -> _empty_/Enums.unwrap().
971971
[54:14..54:18): Some -> scala/Some.
972972
[54:18..54:18): -> scala/Some.apply().
973973
[54:19..54:23): Some -> scala/Some.
@@ -1239,86 +1239,86 @@ a/b/Givens. => final object Givens
12391239
a/b/Givens.Monoid# => trait Monoid
12401240
a/b/Givens.Monoid#[A] => typeparam A
12411241
a/b/Givens.Monoid#`<init>`(). => primary ctor <init>
1242+
a/b/Givens.Monoid#combine(). => abstract method combine
1243+
a/b/Givens.Monoid#combine().(x) => param x
1244+
a/b/Givens.Monoid#combine().(y) => param y
12421245
a/b/Givens.Monoid#empty(). => abstract method empty
1243-
a/b/Givens.Monoid#extension_combine(). => abstract method extension_combine
1244-
a/b/Givens.Monoid#extension_combine().(x) => param x
1245-
a/b/Givens.Monoid#extension_combine().(y) => param y
1246-
a/b/Givens.extension_sayGoodbye(). => method extension_sayGoodbye
1247-
a/b/Givens.extension_sayGoodbye().(any) => param any
1248-
a/b/Givens.extension_sayGoodbye().[B] => typeparam B
1249-
a/b/Givens.extension_sayHello(). => method extension_sayHello
1250-
a/b/Givens.extension_sayHello().(any) => param any
1251-
a/b/Givens.extension_sayHello().[A] => typeparam A
1252-
a/b/Givens.extension_saySoLong(). => method extension_saySoLong
1253-
a/b/Givens.extension_saySoLong().(any) => param any
1254-
a/b/Givens.extension_saySoLong().[B] => typeparam B
12551246
a/b/Givens.foo(). => method foo
12561247
a/b/Givens.foo().(A) => implicit param A
12571248
a/b/Givens.foo().[A] => typeparam A
12581249
a/b/Givens.given_Monoid_String. => final implicit object given_Monoid_String
1250+
a/b/Givens.given_Monoid_String.combine(). => method combine
1251+
a/b/Givens.given_Monoid_String.combine().(x) => param x
1252+
a/b/Givens.given_Monoid_String.combine().(y) => param y
12591253
a/b/Givens.given_Monoid_String.empty(). => method empty
1260-
a/b/Givens.given_Monoid_String.extension_combine(). => method extension_combine
1261-
a/b/Givens.given_Monoid_String.extension_combine().(x) => param x
1262-
a/b/Givens.given_Monoid_String.extension_combine().(y) => param y
12631254
a/b/Givens.goodbye1. => val method goodbye1
12641255
a/b/Givens.hello1. => val method hello1
12651256
a/b/Givens.int2String(). => final implicit macro int2String
1257+
a/b/Givens.sayGoodbye(). => method sayGoodbye
1258+
a/b/Givens.sayGoodbye().(any) => param any
1259+
a/b/Givens.sayGoodbye().[B] => typeparam B
1260+
a/b/Givens.sayHello(). => method sayHello
1261+
a/b/Givens.sayHello().(any) => param any
1262+
a/b/Givens.sayHello().[A] => typeparam A
1263+
a/b/Givens.saySoLong(). => method saySoLong
1264+
a/b/Givens.saySoLong().(any) => param any
1265+
a/b/Givens.saySoLong().[B] => typeparam B
12661266
a/b/Givens.soLong1. => val method soLong1
12671267

12681268
Occurrences:
12691269
[0:8..0:9): a <- a/
12701270
[1:8..1:9): b <- a/b/
12711271
[3:7..3:13): Givens <- a/b/Givens.
1272-
[5:13..5:14): A <- a/b/Givens.extension_sayHello().[A]
1273-
[5:16..5:19): any <- a/b/Givens.extension_sayHello().(any)
1274-
[5:21..5:22): A -> a/b/Givens.extension_sayHello().[A]
1275-
[6:8..6:16): sayHello <- a/b/Givens.extension_sayHello().
1272+
[5:13..5:14): A <- a/b/Givens.sayHello().[A]
1273+
[5:16..5:19): any <- a/b/Givens.sayHello().(any)
1274+
[5:21..5:22): A -> a/b/Givens.sayHello().[A]
1275+
[6:8..6:16): sayHello <- a/b/Givens.sayHello().
12761276
[6:21..6:21): -> scala/StringContext.apply().
1277-
[6:34..6:37): any -> a/b/Givens.extension_sayHello().(any)
1277+
[6:34..6:37): any -> a/b/Givens.sayHello().(any)
12781278
[6:37..6:38): " -> scala/StringContext#s().
1279-
[8:13..8:14): B <- a/b/Givens.extension_sayGoodbye().[B]
1280-
[8:13..8:14): B <- a/b/Givens.extension_saySoLong().[B]
1281-
[8:16..8:19): any <- a/b/Givens.extension_sayGoodbye().(any)
1282-
[8:16..8:19): any <- a/b/Givens.extension_saySoLong().(any)
1283-
[8:21..8:22): B -> a/b/Givens.extension_sayGoodbye().[B]
1284-
[8:21..8:22): B -> a/b/Givens.extension_saySoLong().[B]
1285-
[9:8..9:18): sayGoodbye <- a/b/Givens.extension_sayGoodbye().
1279+
[8:13..8:14): B <- a/b/Givens.sayGoodbye().[B]
1280+
[8:13..8:14): B <- a/b/Givens.saySoLong().[B]
1281+
[8:16..8:19): any <- a/b/Givens.sayGoodbye().(any)
1282+
[8:16..8:19): any <- a/b/Givens.saySoLong().(any)
1283+
[8:21..8:22): B -> a/b/Givens.sayGoodbye().[B]
1284+
[8:21..8:22): B -> a/b/Givens.saySoLong().[B]
1285+
[9:8..9:18): sayGoodbye <- a/b/Givens.sayGoodbye().
12861286
[9:23..9:23): -> scala/StringContext.apply().
1287-
[9:38..9:41): any -> a/b/Givens.extension_sayGoodbye().(any)
1287+
[9:38..9:41): any -> a/b/Givens.sayGoodbye().(any)
12881288
[9:41..9:42): " -> scala/StringContext#s().
1289-
[10:8..10:17): saySoLong <- a/b/Givens.extension_saySoLong().
1289+
[10:8..10:17): saySoLong <- a/b/Givens.saySoLong().
12901290
[10:22..10:22): -> scala/StringContext.apply().
1291-
[10:37..10:40): any -> a/b/Givens.extension_saySoLong().(any)
1291+
[10:37..10:40): any -> a/b/Givens.saySoLong().(any)
12921292
[10:40..10:41): " -> scala/StringContext#s().
12931293
[12:6..12:12): hello1 <- a/b/Givens.hello1.
1294-
[12:15..12:15): -> a/b/Givens.extension_sayHello().
1294+
[12:15..12:15): -> a/b/Givens.sayHello().
12951295
[13:6..13:14): goodbye1 <- a/b/Givens.goodbye1.
1296-
[13:17..13:17): -> a/b/Givens.extension_sayGoodbye().
1296+
[13:17..13:17): -> a/b/Givens.sayGoodbye().
12971297
[14:6..14:13): soLong1 <- a/b/Givens.soLong1.
1298-
[14:16..14:16): -> a/b/Givens.extension_saySoLong().
1298+
[14:16..14:16): -> a/b/Givens.saySoLong().
12991299
[16:8..16:14): Monoid <- a/b/Givens.Monoid#
13001300
[16:14..16:14): <- a/b/Givens.Monoid#`<init>`().
13011301
[16:15..16:16): A <- a/b/Givens.Monoid#[A]
13021302
[17:8..17:13): empty <- a/b/Givens.Monoid#empty().
13031303
[17:15..17:16): A -> a/b/Givens.Monoid#[A]
1304-
[18:15..18:16): x <- a/b/Givens.Monoid#extension_combine().(x)
1304+
[18:15..18:16): x <- a/b/Givens.Monoid#combine().(x)
13051305
[18:18..18:19): A -> a/b/Givens.Monoid#[A]
1306-
[18:25..18:32): combine <- a/b/Givens.Monoid#extension_combine().
1307-
[18:33..18:34): y <- a/b/Givens.Monoid#extension_combine().(y)
1306+
[18:25..18:32): combine <- a/b/Givens.Monoid#combine().
1307+
[18:33..18:34): y <- a/b/Givens.Monoid#combine().(y)
13081308
[18:36..18:37): A -> a/b/Givens.Monoid#[A]
13091309
[18:40..18:41): A -> a/b/Givens.Monoid#[A]
13101310
[20:8..21:3): <- a/b/Givens.given_Monoid_String.
13111311
[20:8..20:14): Monoid -> a/b/Givens.Monoid#
13121312
[20:15..20:21): String -> scala/Predef.String#
13131313
[21:8..21:13): empty <- a/b/Givens.given_Monoid_String.empty().
1314-
[22:15..22:16): x <- a/b/Givens.given_Monoid_String.extension_combine().(x)
1314+
[22:15..22:16): x <- a/b/Givens.given_Monoid_String.combine().(x)
13151315
[22:18..22:24): String -> scala/Predef.String#
1316-
[22:30..22:37): combine <- a/b/Givens.given_Monoid_String.extension_combine().
1317-
[22:38..22:39): y <- a/b/Givens.given_Monoid_String.extension_combine().(y)
1316+
[22:30..22:37): combine <- a/b/Givens.given_Monoid_String.combine().
1317+
[22:38..22:39): y <- a/b/Givens.given_Monoid_String.combine().(y)
13181318
[22:41..22:47): String -> scala/Predef.String#
1319-
[22:51..22:52): x -> a/b/Givens.given_Monoid_String.extension_combine().(x)
1319+
[22:51..22:52): x -> a/b/Givens.given_Monoid_String.combine().(x)
13201320
[22:53..22:54): + -> java/lang/String#`+`().
1321-
[22:55..22:56): y -> a/b/Givens.given_Monoid_String.extension_combine().(y)
1321+
[22:55..22:56): y -> a/b/Givens.given_Monoid_String.combine().(y)
13221322
[24:15..24:25): int2String <- a/b/Givens.int2String().
13231323
[24:29..24:39): Conversion -> scala/Conversion#
13241324
[24:40..24:43): Int -> scala/Int#
@@ -1331,11 +1331,11 @@ Occurrences:
13311331
[26:29..26:30): A -> a/b/Givens.foo().[A]
13321332
[26:34..26:35): A -> a/b/Givens.foo().[A]
13331333
[26:38..26:39): A -> a/b/Givens.foo().(A)
1334-
[26:40..26:57): extension_combine -> a/b/Givens.Monoid#extension_combine().
1335-
[26:58..26:59): A -> a/b/Givens.foo().(A)
1336-
[26:60..26:65): empty -> a/b/Givens.Monoid#empty().
1337-
[26:67..26:68): A -> a/b/Givens.foo().(A)
1338-
[26:69..26:74): empty -> a/b/Givens.Monoid#empty().
1334+
[26:40..26:47): combine -> a/b/Givens.Monoid#combine().
1335+
[26:48..26:49): A -> a/b/Givens.foo().(A)
1336+
[26:50..26:55): empty -> a/b/Givens.Monoid#empty().
1337+
[26:57..26:58): A -> a/b/Givens.foo().(A)
1338+
[26:59..26:64): empty -> a/b/Givens.Monoid#empty().
13391339

13401340
expect/ImplicitConversion.scala
13411341
-------------------------------
@@ -3935,38 +3935,38 @@ _empty_/toplevel$package.a. => val method a
39353935
_empty_/toplevel$package.combine(). => method combine
39363936
_empty_/toplevel$package.combine().(x) => param x
39373937
_empty_/toplevel$package.combine().(y) => param y
3938-
_empty_/toplevel$package.combine().(z) => param z
39393938
_empty_/toplevel$package.combine(+1). => method combine
3940-
_empty_/toplevel$package.extension_combine(). => method extension_combine
3941-
_empty_/toplevel$package.extension_combine().(x) => param x
3942-
_empty_/toplevel$package.extension_combine().(y) => param y
3939+
_empty_/toplevel$package.combine(+1).(x) => param x
3940+
_empty_/toplevel$package.combine(+1).(y) => param y
3941+
_empty_/toplevel$package.combine(+1).(z) => param z
3942+
_empty_/toplevel$package.combine(+2). => method combine
39433943
_empty_/toplevel$package.foo(). => method foo
39443944
local0 => val local error
39453945

39463946
Occurrences:
39473947
[0:0..0:0): <- _empty_/toplevel$package.
39483948
[0:11..0:12): a <- _empty_/toplevel$package.a.
3949-
[1:11..1:12): x <- _empty_/toplevel$package.extension_combine().(x)
3949+
[1:11..1:12): x <- _empty_/toplevel$package.combine().(x)
39503950
[1:14..1:17): Int -> scala/Int#
3951-
[1:23..1:30): combine <- _empty_/toplevel$package.extension_combine().
3952-
[1:32..1:33): y <- _empty_/toplevel$package.extension_combine().(y)
3951+
[1:23..1:30): combine <- _empty_/toplevel$package.combine().
3952+
[1:32..1:33): y <- _empty_/toplevel$package.combine().(y)
39533953
[1:35..1:38): Int -> scala/Int#
3954-
[1:42..1:43): x -> _empty_/toplevel$package.extension_combine().(x)
3954+
[1:42..1:43): x -> _empty_/toplevel$package.combine().(x)
39553955
[1:44..1:45): + -> scala/Int#`+`(+4).
3956-
[1:46..1:47): y -> _empty_/toplevel$package.extension_combine().(y)
3957-
[2:4..2:11): combine <- _empty_/toplevel$package.combine().
3958-
[2:12..2:13): x <- _empty_/toplevel$package.combine().(x)
3956+
[1:46..1:47): y -> _empty_/toplevel$package.combine().(y)
3957+
[2:4..2:11): combine <- _empty_/toplevel$package.combine(+1).
3958+
[2:12..2:13): x <- _empty_/toplevel$package.combine(+1).(x)
39593959
[2:15..2:18): Int -> scala/Int#
3960-
[2:20..2:21): y <- _empty_/toplevel$package.combine().(y)
3960+
[2:20..2:21): y <- _empty_/toplevel$package.combine(+1).(y)
39613961
[2:23..2:26): Int -> scala/Int#
3962-
[2:28..2:29): z <- _empty_/toplevel$package.combine().(z)
3962+
[2:28..2:29): z <- _empty_/toplevel$package.combine(+1).(z)
39633963
[2:31..2:34): Int -> scala/Int#
3964-
[2:38..2:39): x -> _empty_/toplevel$package.combine().(x)
3964+
[2:38..2:39): x -> _empty_/toplevel$package.combine(+1).(x)
39653965
[2:40..2:41): + -> scala/Int#`+`(+4).
3966-
[2:42..2:43): y -> _empty_/toplevel$package.combine().(y)
3966+
[2:42..2:43): y -> _empty_/toplevel$package.combine(+1).(y)
39673967
[2:44..2:45): + -> scala/Int#`+`(+4).
3968-
[2:46..2:47): z -> _empty_/toplevel$package.combine().(z)
3969-
[3:4..3:11): combine <- _empty_/toplevel$package.combine(+1).
3968+
[2:46..2:47): z -> _empty_/toplevel$package.combine(+1).(z)
3969+
[3:4..3:11): combine <- _empty_/toplevel$package.combine(+2).
39703970
[4:4..4:7): foo <- _empty_/toplevel$package.foo().
39713971
[5:0..5:0): <- _empty_/MyProgram#
39723972
[5:0..5:0): <- _empty_/MyProgram#`<init>`().

0 commit comments

Comments
 (0)