We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0316368 commit de19138Copy full SHA for de19138
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -3944,7 +3944,7 @@ object Types {
3944
else if (!infoLo.isAlias && !infoHi.isAlias) propagate(infoLo, infoHi)
3945
else range(tp.bottomType, tp.topType)
3946
// Using `parent` instead of `tp.topType` would be better for normal refinements,
3947
- // but it would also turn *-types to a hk-types, which is not what we want.
+ // but it would also turn *-types into hk-types, which is not what we want.
3948
// We should revisit this point in case we represent applied types not as refinements anymore.
3949
case Range(infoLo, infoHi) =>
3950
propagate(infoLo, infoHi)
0 commit comments