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 5eb0716 commit 4868b8dCopy full SHA for 4868b8d
compiler/src/dotty/tools/dotc/typer/Synthesizer.scala
@@ -45,7 +45,7 @@ class Synthesizer(typer: Typer)(using @constructorOnly c: Context):
45
// 3. Otherwise leave argument uninstantiated.
46
// The reason for (2) is that we observed complicated constraints in i23611.scala
47
// that get better types if a fully defined type is computed than if several type
48
- // variables are approximated incrementally. This is a minimization of some ZIP code.
+ // variables are approximated incrementally. This is a minimization of some ZIO code.
49
// So in order to keep backwards compatibility (where before we _only_ did 2) we
50
// add that special case.
51
def isGroundConstr(tp: Type): Boolean = tp.dealias match
0 commit comments