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 5a2e79f commit b9d8a2aCopy full SHA for b9d8a2a
compiler/src/dotty/tools/dotc/ast/TreeInfo.scala
@@ -367,15 +367,6 @@ trait TypedTreeInfo extends TreeInfo[Type] { self: Trees.Instance[Type] =>
367
}
368
369
/** The purity level of this expression. See docs for PurityLevel for what that means
370
- * @return A possibly combination of
371
- *
372
- * Path if expression is at least idempotent and is a path
373
374
- * Pure if expression has no side effects
375
- * Idempotent if running the expression a second time has no side effects
376
377
- * Pure implies Idempotent.
378
- * Impure designates the empty combination.
379
*
380
* Note that purity and idempotency are treated differently.
381
* References to modules and lazy vals are impure (side-effecting) both because
0 commit comments