We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1b9a7e0 commit 7721833Copy full SHA for 7721833
compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -1907,8 +1907,8 @@ trait Applications extends Compatibility {
1907
def comparePrefixes =
1908
val pre1 = widenPrefix(alt1)
1909
val pre2 = widenPrefix(alt2)
1910
- val winsPrefix1 = isAsSpecificValueType(pre1, pre2)
1911
- val winsPrefix2 = isAsSpecificValueType(pre2, pre1)
+ val winsPrefix1 = isAsGoodValueType(pre1, pre2)
+ val winsPrefix2 = isAsGoodValueType(pre2, pre1)
1912
if winsPrefix1 == winsPrefix2 then 0
1913
else if winsPrefix1 then 1
1914
else -1
0 commit comments