Skip to content

Commit 18d003b

Browse files
committed
params of anonymous funs are emitted
1 parent 22707e3 commit 18d003b

File tree

6 files changed

+103
-56
lines changed

6 files changed

+103
-56
lines changed

compiler/src/dotty/tools/dotc/semanticdb/ExtractSemanticDB.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -163,7 +163,7 @@ class ExtractSemanticDB extends Phase with
163163
!sym.exists
164164
|| sym.isLocalDummy
165165
|| sym.is(Synthetic)
166-
|| sym.owner.is(Synthetic) && !sym.isAllOf(EnumCase)
166+
|| sym.owner.is(Synthetic) && !sym.owner.isAnonymous && !sym.isAllOf(EnumCase)
167167
|| sym.isConstructor && sym.owner.is(ModuleClass)
168168
|| sym.isAnonymous
169169
|| excludeDefStrict(sym)

tests/semanticdb/expect/Classes.expect.scala

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -26,8 +26,8 @@ object N/*<-classes::N.*/ {
2626
val anonClass/*<-classes::N.anonClass.*/ = new C7/*->classes::C7#*/(42) {
2727
val local/*<-local1*/ = ???/*->scala::Predef.`???`().*/
2828
}
29-
val anonFun/*<-classes::N.anonFun.*/ = List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(1).map/*->scala::collection::immutable::List#map().*/ { i =>
30-
val local = 2
31-
local/*->local2*/ +/*->scala::Int#`+`(+4).*/ 2
29+
val anonFun/*<-classes::N.anonFun.*/ = List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(1).map/*->scala::collection::immutable::List#map().*/ { i/*<-local2*/ =>
30+
val local/*<-local3*/ = 2
31+
local/*->local3*/ +/*->scala::Int#`+`(+4).*/ 2
3232
}
3333
}

tests/semanticdb/expect/ForComprehension.expect.scala

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -2,44 +2,44 @@ package example
22

33
class ForComprehension/*<-example::ForComprehension#*/ {
44
for {
5-
a <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(1)/*->scala::collection::immutable::List#flatMap().*/
6-
b/*->local0*/ <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(1)/*->scala::collection::IterableOps#withFilter().*/
7-
if b/*->local0*/ >/*->scala::Int#`>`(+3).*/ 1/*->scala::collection::WithFilter#map().*/
8-
c/*->local2*/ = a/*->local1*/ +/*->scala::Int#`+`(+4).*/ b/*->local0*//*->scala::collection::immutable::List#map().*/
9-
} yield (a/*->local1*/, b/*->local0*/, c/*->local2*/)
5+
a/*<-local0*/ <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(1)/*->scala::collection::immutable::List#flatMap().*/
6+
b/*<-local1*//*->local1*/ <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(1)/*->scala::collection::IterableOps#withFilter().*/
7+
if b/*->local1*/ >/*->scala::Int#`>`(+3).*/ 1/*->scala::collection::WithFilter#map().*/
8+
c/*<-local2*//*->local2*/ = a/*->local0*/ +/*->scala::Int#`+`(+4).*/ b/*->local1*//*->scala::collection::immutable::List#map().*/
9+
} yield (a/*->local0*/, b/*->local1*/, c/*->local2*/)
1010
for {
11-
a <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(1)/*->scala::collection::immutable::List#flatMap().*/
12-
b <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(a/*->local3*/)/*->scala::collection::IterableOps#withFilter().*/
11+
a/*<-local3*/ <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(1)/*->scala::collection::immutable::List#flatMap().*/
12+
b/*<-local4*/ <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(a/*->local3*/)/*->scala::collection::IterableOps#withFilter().*/
1313
if (
1414
a/*->local3*/,
1515
b/*->local4*/
1616
) ==/*->scala::Any#`==`().*/ (1, 2)/*->scala::collection::WithFilter#flatMap().*/
1717
(
18-
c,
19-
d
18+
/*<-local7*/ c/*<-local5*/,
19+
d/*<-local6*/
2020
) <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/((a/*->local3*/, b/*->local4*/))/*->scala::collection::WithFilter#withFilter().*//*->scala::collection::IterableOps#withFilter().*/
2121
if (
2222
a/*->local3*/,
2323
b/*->local4*/,
2424
c/*->local5*/,
2525
d/*->local6*/
2626
) ==/*->scala::Any#`==`().*/ (1, 2, 3, 4)/*->scala::collection::WithFilter#map().*/
27-
e/*->local7*/ = (
27+
e/*<-local8*//*->local7*//*->local8*/ = (
2828
a/*->local3*/,
2929
b/*->local4*/,
3030
c/*->local5*/,
3131
d/*->local6*/
3232
)/*->scala::collection::IterableOps#withFilter().*/
33-
if e/*->local7*/ ==/*->scala::Any#`==`().*/ (1, 2, 3, 4)/*->scala::collection::WithFilter#flatMap().*/
34-
f <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(e/*->local7*/)/*->scala::collection::immutable::List#map().*/
33+
if e/*->local8*/ ==/*->scala::Any#`==`().*/ (1, 2, 3, 4)/*->scala::collection::WithFilter#flatMap().*/
34+
f/*<-local9*/ <- List/*->scala::package.List.*//*->scala::collection::IterableFactory#apply().*/(e/*->local8*/)/*->scala::collection::immutable::List#map().*/
3535
} yield {
3636
(
3737
a/*->local3*/,
3838
b/*->local4*/,
3939
c/*->local5*/,
4040
d/*->local6*/,
41-
e/*->local7*/,
42-
f/*->local8*/
41+
e/*->local8*/,
42+
f/*->local9*/
4343
)
4444
}
4545
}

tests/semanticdb/expect/Synthetic.expect.scala

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,9 @@ class Synthetic/*<-example::Synthetic#*/ {
1515

1616
val lst/*<-example::Synthetic#lst.*/ = 1 #:: /*->scala::collection::immutable::LazyList.toDeferrer().*/2 #:: /*->scala::collection::immutable::LazyList.toDeferrer().*/LazyList/*->scala::package.LazyList.*/.empty/*->scala::collection::immutable::LazyList.empty().*//*->scala::collection::immutable::LazyList.Deferrer#`#::`().*/
1717

18-
for (x <- /*->scala::LowPriorityImplicits#intWrapper().*/1 to/*->scala::runtime::RichInt#to().*/ 10/*->scala::collection::immutable::Range#foreach().*/; y <- /*->scala::LowPriorityImplicits#intWrapper().*/0 until/*->scala::runtime::RichInt#until().*/ 10/*->scala::collection::immutable::Range#foreach().*/) println/*->scala::Predef.println(+1).*/(x/*->local1*/ ->/*->scala::Predef.ArrowAssoc#`->`().*/ x/*->local1*/)
19-
for (i <- /*->scala::LowPriorityImplicits#intWrapper().*/1 to/*->scala::runtime::RichInt#to().*/ 10/*->scala::collection::StrictOptimizedIterableOps#flatMap().*/; j <- /*->scala::LowPriorityImplicits#intWrapper().*/0 until/*->scala::runtime::RichInt#until().*/ 10/*->scala::collection::immutable::Range#map().*/) yield (i/*->local2*/, j/*->local3*/)
20-
for (i <- /*->scala::LowPriorityImplicits#intWrapper().*/1 to/*->scala::runtime::RichInt#to().*/ 10/*->scala::collection::StrictOptimizedIterableOps#flatMap().*/; j <- /*->scala::LowPriorityImplicits#intWrapper().*/0 until/*->scala::runtime::RichInt#until().*/ 10/*->scala::collection::IterableOps#withFilter().*/ if i/*->local4*/ %/*->scala::Int#`%`(+3).*/ 2 ==/*->scala::Int#`==`(+3).*/ 0/*->scala::collection::WithFilter#map().*/) yield (i/*->local4*/, j/*->local5*/)
18+
for (x/*<-local1*/ <- /*->scala::LowPriorityImplicits#intWrapper().*/1 to/*->scala::runtime::RichInt#to().*/ 10/*->scala::collection::immutable::Range#foreach().*/; y/*<-local2*/ <- /*->scala::LowPriorityImplicits#intWrapper().*/0 until/*->scala::runtime::RichInt#until().*/ 10/*->scala::collection::immutable::Range#foreach().*/) println/*->scala::Predef.println(+1).*/(x/*->local1*/ ->/*->scala::Predef.ArrowAssoc#`->`().*/ x/*->local1*/)
19+
for (i/*<-local3*/ <- /*->scala::LowPriorityImplicits#intWrapper().*/1 to/*->scala::runtime::RichInt#to().*/ 10/*->scala::collection::StrictOptimizedIterableOps#flatMap().*/; j/*<-local4*/ <- /*->scala::LowPriorityImplicits#intWrapper().*/0 until/*->scala::runtime::RichInt#until().*/ 10/*->scala::collection::immutable::Range#map().*/) yield (i/*->local3*/, j/*->local4*/)
20+
for (i/*<-local5*/ <- /*->scala::LowPriorityImplicits#intWrapper().*/1 to/*->scala::runtime::RichInt#to().*/ 10/*->scala::collection::StrictOptimizedIterableOps#flatMap().*/; j/*<-local6*/ <- /*->scala::LowPriorityImplicits#intWrapper().*/0 until/*->scala::runtime::RichInt#until().*/ 10/*->scala::collection::IterableOps#withFilter().*/ if i/*->local5*/ %/*->scala::Int#`%`(+3).*/ 2 ==/*->scala::Int#`==`(+3).*/ 0/*->scala::collection::WithFilter#map().*/) yield (i/*->local5*/, j/*->local6*/)
2121

2222
object s/*<-example::Synthetic#s.*/ {
2323
def apply/*<-example::Synthetic#s.apply().*/() = 2
@@ -36,13 +36,13 @@ class Synthetic/*<-example::Synthetic#*/ {
3636

3737
import scala.concurrent.ExecutionContext/*->scala::concurrent::ExecutionContext.*/.Implicits/*->scala::concurrent::ExecutionContext.Implicits.*/.global/*->scala::concurrent::ExecutionContext.Implicits.global().*/
3838
for {
39-
a <- scala.concurrent.Future/*->scala::concurrent::Future.*/.successful/*->scala::concurrent::Future.successful().*/(1)/*->scala::concurrent::Future#foreach().*/
40-
b <- scala.concurrent.Future/*->scala::concurrent::Future.*/.successful/*->scala::concurrent::Future.successful().*/(2)/*->scala::concurrent::Future#foreach().*/
41-
} println/*->scala::Predef.println(+1).*/(a/*->local6*/)/*->scala::concurrent::ExecutionContext.Implicits.global().*/
39+
a/*<-local7*/ <- scala.concurrent.Future/*->scala::concurrent::Future.*/.successful/*->scala::concurrent::Future.successful().*/(1)/*->scala::concurrent::Future#foreach().*/
40+
b/*<-local8*/ <- scala.concurrent.Future/*->scala::concurrent::Future.*/.successful/*->scala::concurrent::Future.successful().*/(2)/*->scala::concurrent::Future#foreach().*/
41+
} println/*->scala::Predef.println(+1).*/(a/*->local7*/)/*->scala::concurrent::ExecutionContext.Implicits.global().*/
4242
for {
43-
a <- scala.concurrent.Future/*->scala::concurrent::Future.*/.successful/*->scala::concurrent::Future.successful().*/(1)/*->scala::concurrent::Future#flatMap().*/
44-
b <- scala.concurrent.Future/*->scala::concurrent::Future.*/.successful/*->scala::concurrent::Future.successful().*/(2)/*->scala::concurrent::Future#withFilter().*/
45-
if a/*->local7*/ </*->scala::Int#`<`(+3).*/ b/*->local8*//*->scala::concurrent::Future#map().*//*->scala::concurrent::ExecutionContext.Implicits.global().*/
46-
} yield a/*->local7*//*->scala::concurrent::ExecutionContext.Implicits.global().*/
43+
a/*<-local9*/ <- scala.concurrent.Future/*->scala::concurrent::Future.*/.successful/*->scala::concurrent::Future.successful().*/(1)/*->scala::concurrent::Future#flatMap().*/
44+
b/*<-local10*/ <- scala.concurrent.Future/*->scala::concurrent::Future.*/.successful/*->scala::concurrent::Future.successful().*/(2)/*->scala::concurrent::Future#withFilter().*/
45+
if a/*->local9*/ </*->scala::Int#`<`(+3).*/ b/*->local10*//*->scala::concurrent::Future#map().*//*->scala::concurrent::ExecutionContext.Implicits.global().*/
46+
} yield a/*->local9*//*->scala::concurrent::ExecutionContext.Implicits.global().*/
4747

4848
}

tests/semanticdb/metac.expect

Lines changed: 75 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -344,8 +344,8 @@ Schema => SemanticDB v4
344344
Uri => Classes.scala
345345
Text => empty
346346
Language => Scala
347-
Symbols => 44 entries
348-
Occurrences => 58 entries
347+
Symbols => 46 entries
348+
Occurrences => 60 entries
349349

350350
Symbols:
351351
classes/C1# => final class C1
@@ -392,6 +392,8 @@ classes/N.anonClass. => val method anonClass
392392
classes/N.anonFun. => val method anonFun
393393
local0 => primary ctor <init>
394394
local1 => val method local
395+
local2 => param i
396+
local3 => local local
395397

396398
Occurrences:
397399
[0:8..0:15): classes <- classes/
@@ -450,7 +452,9 @@ Occurrences:
450452
[28:16..28:20): List -> scala/package.List.
451453
[28:20..28:20): -> scala/collection/IterableFactory#apply().
452454
[28:24..28:27): map -> scala/collection/immutable/List#map().
453-
[30:4..30:9): local -> local2
455+
[28:30..28:31): i <- local2
456+
[29:8..29:13): local <- local3
457+
[30:4..30:9): local -> local3
454458
[30:10..30:11): + -> scala/Int#`+`(+4).
455459

456460
expect/Definitions.scala
@@ -1054,38 +1058,56 @@ Schema => SemanticDB v4
10541058
Uri => ForComprehension.scala
10551059
Text => empty
10561060
Language => Scala
1057-
Symbols => 2 entries
1058-
Occurrences => 63 entries
1061+
Symbols => 15 entries
1062+
Occurrences => 74 entries
10591063

10601064
Symbols:
10611065
example/ForComprehension# => class ForComprehension
10621066
example/ForComprehension#`<init>`(). => primary ctor <init>
1067+
local0 => param a
1068+
local1 => val local b
1069+
local1 => param b
1070+
local2 => local c
1071+
local2 => val local c
1072+
local3 => param a
1073+
local4 => param b
1074+
local5 => val local c
1075+
local6 => val local d
1076+
local7 => val local $1$
1077+
local8 => val local e
1078+
local8 => local e
1079+
local9 => param f
10631080

10641081
Occurrences:
10651082
[0:8..0:15): example <- example/
10661083
[2:6..2:22): ForComprehension <- example/ForComprehension#
10671084
[3:2..3:2): <- example/ForComprehension#`<init>`().
1085+
[4:4..4:5): a <- local0
10681086
[4:9..4:13): List -> scala/package.List.
10691087
[4:13..4:13): -> scala/collection/IterableFactory#apply().
10701088
[4:16..4:16): -> scala/collection/immutable/List#flatMap().
1071-
[5:4..5:5): b -> local0
1089+
[5:4..5:5): b <- local1
1090+
[5:4..5:5): b -> local1
10721091
[5:9..5:13): List -> scala/package.List.
10731092
[5:13..5:13): -> scala/collection/IterableFactory#apply().
10741093
[5:16..5:16): -> scala/collection/IterableOps#withFilter().
1075-
[6:7..6:8): b -> local0
1094+
[6:7..6:8): b -> local1
10761095
[6:9..6:10): > -> scala/Int#`>`(+3).
10771096
[6:12..6:12): -> scala/collection/WithFilter#map().
1097+
[7:4..7:5): c <- local2
10781098
[7:4..7:5): c -> local2
1079-
[7:8..7:9): a -> local1
1099+
[7:8..7:9): a -> local0
10801100
[7:10..7:11): + -> scala/Int#`+`(+4).
1081-
[7:12..7:13): b -> local0
1101+
[7:12..7:13): b -> local1
10821102
[7:13..7:13): -> scala/collection/immutable/List#map().
1083-
[8:11..8:12): a -> local1
1084-
[8:14..8:15): b -> local0
1103+
[8:11..8:12): a -> local0
1104+
[8:14..8:15): b -> local1
10851105
[8:17..8:18): c -> local2
1106+
[10:4..10:5): a <- local3
10861107
[10:9..10:13): List -> scala/package.List.
10871108
[10:13..10:13): -> scala/collection/IterableFactory#apply().
10881109
[10:16..10:16): -> scala/collection/immutable/List#flatMap().
1110+
[11:4..11:5): b <- local4
10891111
[11:9..11:13): List -> scala/package.List.
10901112
[11:13..11:13): -> scala/collection/IterableFactory#apply().
10911113
[11:14..11:15): a -> local3
@@ -1094,6 +1116,9 @@ Occurrences:
10941116
[14:6..14:7): b -> local4
10951117
[15:6..15:8): == -> scala/Any#`==`().
10961118
[15:15..15:15): -> scala/collection/WithFilter#flatMap().
1119+
[16:4..17:1): <- local7
1120+
[17:6..17:7): c <- local5
1121+
[18:6..18:7): d <- local6
10971122
[19:9..19:13): List -> scala/package.List.
10981123
[19:13..19:13): -> scala/collection/IterableFactory#apply().
10991124
[19:15..19:16): a -> local3
@@ -1106,25 +1131,28 @@ Occurrences:
11061131
[24:6..24:7): d -> local6
11071132
[25:6..25:8): == -> scala/Any#`==`().
11081133
[25:21..25:21): -> scala/collection/WithFilter#map().
1109-
[26:4..26:5): e -> local7
1134+
[26:4..26:5): e <- local8
1135+
[26:4..26:4): -> local7
1136+
[26:4..26:5): e -> local8
11101137
[27:6..27:7): a -> local3
11111138
[28:6..28:7): b -> local4
11121139
[29:6..29:7): c -> local5
11131140
[30:6..30:7): d -> local6
11141141
[31:5..31:5): -> scala/collection/IterableOps#withFilter().
1115-
[32:7..32:8): e -> local7
1142+
[32:7..32:8): e -> local8
11161143
[32:9..32:11): == -> scala/Any#`==`().
11171144
[32:24..32:24): -> scala/collection/WithFilter#flatMap().
1145+
[33:4..33:5): f <- local9
11181146
[33:9..33:13): List -> scala/package.List.
11191147
[33:13..33:13): -> scala/collection/IterableFactory#apply().
1120-
[33:14..33:15): e -> local7
1148+
[33:14..33:15): e -> local8
11211149
[33:16..33:16): -> scala/collection/immutable/List#map().
11221150
[36:6..36:7): a -> local3
11231151
[37:6..37:7): b -> local4
11241152
[38:6..38:7): c -> local5
11251153
[39:6..39:7): d -> local6
1126-
[40:6..40:7): e -> local7
1127-
[41:6..41:7): f -> local8
1154+
[40:6..40:7): e -> local8
1155+
[41:6..41:7): f -> local9
11281156

11291157
expect/Givens.scala
11301158
___________________
@@ -2266,8 +2294,8 @@ Schema => SemanticDB v4
22662294
Uri => Synthetic.scala
22672295
Text => empty
22682296
Language => Scala
2269-
Symbols => 22 entries
2270-
Occurrences => 142 entries
2297+
Symbols => 32 entries
2298+
Occurrences => 152 entries
22712299

22722300
Symbols:
22732301
example/Synthetic# => class Synthetic
@@ -2292,6 +2320,16 @@ example/Synthetic#s.apply(). => method apply
22922320
example/Synthetic#x. => val method x
22932321
example/Synthetic#xs. => val method xs
22942322
local0 => val local name
2323+
local1 => param x
2324+
local2 => param y
2325+
local3 => param i
2326+
local4 => param j
2327+
local5 => param i
2328+
local6 => param j
2329+
local7 => param a
2330+
local8 => param b
2331+
local9 => param a
2332+
local10 => param b
22952333

22962334
Occurrences:
22972335
[0:8..0:15): example <- example/
@@ -2336,36 +2374,42 @@ Occurrences:
23362374
[15:24..15:32): LazyList -> scala/package.LazyList.
23372375
[15:33..15:38): empty -> scala/collection/immutable/LazyList.empty().
23382376
[15:38..15:38): -> scala/collection/immutable/LazyList.Deferrer#`#::`().
2377+
[17:7..17:8): x <- local1
23392378
[17:12..17:12): -> scala/LowPriorityImplicits#intWrapper().
23402379
[17:14..17:16): to -> scala/runtime/RichInt#to().
23412380
[17:19..17:19): -> scala/collection/immutable/Range#foreach().
2381+
[17:21..17:22): y <- local2
23422382
[17:26..17:26): -> scala/LowPriorityImplicits#intWrapper().
23432383
[17:28..17:33): until -> scala/runtime/RichInt#until().
23442384
[17:36..17:36): -> scala/collection/immutable/Range#foreach().
23452385
[17:38..17:45): println -> scala/Predef.println(+1).
23462386
[17:46..17:47): x -> local1
23472387
[17:48..17:50): -> -> scala/Predef.ArrowAssoc#`->`().
23482388
[17:51..17:52): x -> local1
2389+
[18:7..18:8): i <- local3
23492390
[18:12..18:12): -> scala/LowPriorityImplicits#intWrapper().
23502391
[18:14..18:16): to -> scala/runtime/RichInt#to().
23512392
[18:19..18:19): -> scala/collection/StrictOptimizedIterableOps#flatMap().
2393+
[18:21..18:22): j <- local4
23522394
[18:26..18:26): -> scala/LowPriorityImplicits#intWrapper().
23532395
[18:28..18:33): until -> scala/runtime/RichInt#until().
23542396
[18:36..18:36): -> scala/collection/immutable/Range#map().
2355-
[18:45..18:46): i -> local2
2356-
[18:48..18:49): j -> local3
2397+
[18:45..18:46): i -> local3
2398+
[18:48..18:49): j -> local4
2399+
[19:7..19:8): i <- local5
23572400
[19:12..19:12): -> scala/LowPriorityImplicits#intWrapper().
23582401
[19:14..19:16): to -> scala/runtime/RichInt#to().
23592402
[19:19..19:19): -> scala/collection/StrictOptimizedIterableOps#flatMap().
2403+
[19:21..19:22): j <- local6
23602404
[19:26..19:26): -> scala/LowPriorityImplicits#intWrapper().
23612405
[19:28..19:33): until -> scala/runtime/RichInt#until().
23622406
[19:36..19:36): -> scala/collection/IterableOps#withFilter().
2363-
[19:40..19:41): i -> local4
2407+
[19:40..19:41): i -> local5
23642408
[19:42..19:43): % -> scala/Int#`%`(+3).
23652409
[19:46..19:48): == -> scala/Int#`==`(+3).
23662410
[19:50..19:50): -> scala/collection/WithFilter#map().
2367-
[19:59..19:60): i -> local4
2368-
[19:62..19:63): j -> local5
2411+
[19:59..19:60): i -> local5
2412+
[19:62..19:63): j -> local6
23692413
[21:9..21:10): s <- example/Synthetic#s.
23702414
[22:8..22:13): apply <- example/Synthetic#s.apply().
23712415
[23:5..23:5): -> example/Synthetic#s.apply().
@@ -2406,35 +2450,39 @@ Occurrences:
24062450
[36:26..36:42): ExecutionContext -> scala/concurrent/ExecutionContext.
24072451
[36:43..36:52): Implicits -> scala/concurrent/ExecutionContext.Implicits.
24082452
[36:53..36:59): global -> scala/concurrent/ExecutionContext.Implicits.global().
2453+
[38:4..38:5): a <- local7
24092454
[38:9..38:14): scala -> scala/
24102455
[38:15..38:25): concurrent -> scala/concurrent/
24112456
[38:26..38:32): Future -> scala/concurrent/Future.
24122457
[38:33..38:43): successful -> scala/concurrent/Future.successful().
24132458
[38:46..38:46): -> scala/concurrent/Future#foreach().
2459+
[39:4..39:5): b <- local8
24142460
[39:9..39:14): scala -> scala/
24152461
[39:15..39:25): concurrent -> scala/concurrent/
24162462
[39:26..39:32): Future -> scala/concurrent/Future.
24172463
[39:33..39:43): successful -> scala/concurrent/Future.successful().
24182464
[39:46..39:46): -> scala/concurrent/Future#foreach().
24192465
[40:4..40:11): println -> scala/Predef.println(+1).
2420-
[40:12..40:13): a -> local6
2466+
[40:12..40:13): a -> local7
24212467
[40:14..40:14): -> scala/concurrent/ExecutionContext.Implicits.global().
2468+
[42:4..42:5): a <- local9
24222469
[42:9..42:14): scala -> scala/
24232470
[42:15..42:25): concurrent -> scala/concurrent/
24242471
[42:26..42:32): Future -> scala/concurrent/Future.
24252472
[42:33..42:43): successful -> scala/concurrent/Future.successful().
24262473
[42:46..42:46): -> scala/concurrent/Future#flatMap().
2474+
[43:4..43:5): b <- local10
24272475
[43:9..43:14): scala -> scala/
24282476
[43:15..43:25): concurrent -> scala/concurrent/
24292477
[43:26..43:32): Future -> scala/concurrent/Future.
24302478
[43:33..43:43): successful -> scala/concurrent/Future.successful().
24312479
[43:46..43:46): -> scala/concurrent/Future#withFilter().
2432-
[44:7..44:8): a -> local7
2480+
[44:7..44:8): a -> local9
24332481
[44:9..44:10): < -> scala/Int#`<`(+3).
2434-
[44:11..44:12): b -> local8
2482+
[44:11..44:12): b -> local10
24352483
[44:12..44:12): -> scala/concurrent/Future#map().
24362484
[44:12..44:12): -> scala/concurrent/ExecutionContext.Implicits.global().
2437-
[45:10..45:11): a -> local7
2485+
[45:10..45:11): a -> local9
24382486
[45:11..45:11): -> scala/concurrent/ExecutionContext.Implicits.global().
24392487

24402488
expect/Traits.scala

tests/semanticdb/todo.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,4 +4,3 @@ Differences between scalameta implementation and dotc.
44
- [ ] For comprehension in Synthetic section.
55
- [ ] Implicit conversions in Synthetic section.
66
- [ ] Record all definitions in Symbols section.
7-
- [ ] give definitions in Anonymous functions occurrences

0 commit comments

Comments
 (0)