Skip to content

Commit 4d00b92

Browse files
liufengyunallanrenucci
authored andcommitted
fix ci: member types should go through asSeenFrom
1 parent 94a93e5 commit 4d00b92

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

compiler/src/dotty/tools/dotc/typer/Applications.scala

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -109,10 +109,12 @@ object Applications {
109109

110110
val elemTp = getTp.member(nme.apply).suchThat(_.info <:< applyTp(WildcardType)).info.resultType
111111

112-
def test(name: Name, tp: Type) = getTp.member(name).suchThat(_.info <:< tp).exists
112+
def test(name: Name, tp: Type) = getTp.member(name).suchThat(getTp.memberInfo(_) <:< tp).exists
113113

114-
val valid = elemTp.exists &&
115-
(test(nme.lengthCompare, lengthCompareTp) || test(nme.length, lengthTp)) &&
114+
val valid =
115+
elemTp.exists &&
116+
(test(nme.lengthCompare, lengthCompareTp) ||
117+
test(nme.length, lengthTp)) &&
116118
test(nme.drop, dropTp(elemTp)) &&
117119
test(nme.toSeq, toSeqTp(elemTp))
118120

0 commit comments

Comments
 (0)