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 7e3806e commit bdf895cCopy full SHA for bdf895c
compiler/src/dotty/tools/dotc/transform/init/Summarization.scala
@@ -45,6 +45,9 @@ object Summarization {
45
case Select(qualifier, name) =>
46
val (pots, effs) = analyze(qualifier)
47
if (env.ignoredMethods.contains(expr.symbol)) (Potentials.empty, effs)
48
+ else if (!expr.symbol.exists) { // polymorphic function apply and structural types
49
+ (Potentials.empty, pots.promote(expr) ++ effs)
50
+ }
51
else {
52
val (pots2, effs2) = pots.select(expr.symbol, expr)
53
(pots2, effs ++ effs2)
0 commit comments