Skip to content

Commit 19e658c

Browse files
committed
Address other review comments
1 parent 81f5c30 commit 19e658c

File tree

2 files changed

+6
-3
lines changed

2 files changed

+6
-3
lines changed

community-build/test/scala/dotty/communitybuild/CommunityBuildTest.scala

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -379,6 +379,7 @@ class CommunityBuildTest:
379379
@Test def scodecBits = projects.scodecBits.run()
380380
@Test def scodec = projects.scodec.run()
381381
@Test def scalaParserCombinators = projects.scalaParserCombinators.run()
382+
// blocked on #9074
382383
//@Test def dottyCpsAsync = projects.dottyCpsAsync.run()
383384
@Test def scalaz = projects.scalaz.run()
384385
@Test def endpoints = projects.endpoints.run()

compiler/src/dotty/tools/dotc/core/tasty/TreeUnpickler.scala

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1172,12 +1172,14 @@ class TreeUnpickler(reader: TastyReader,
11721172
var sname = readName()
11731173
val qual = readTerm()
11741174
val owner = readType()
1175-
val prefix = qual.tpe.widenIfUnstable
1175+
def select(name: Name, denot: Denotation) =
1176+
val prefix = ctx.typeAssigner.maybeSkolemizePrefix(qual.tpe.widenIfUnstable, name)
1177+
makeSelect(qual, name, denot.asSeenFrom(prefix))
11761178
sname match
11771179
case SignedName(name, sig) =>
1178-
makeSelect(qual, name, owner.decl(name).atSignature(sig).asSeenFrom(prefix))
1180+
select(name, owner.decl(name).atSignature(sig))
11791181
case name =>
1180-
makeSelect(qual, name, owner.decl(name).asSeenFrom(prefix))
1182+
select(name, owner.decl(name))
11811183
case REPEATED =>
11821184
val elemtpt = readTpt()
11831185
SeqLiteral(until(end)(readTerm()), elemtpt)

0 commit comments

Comments
 (0)