We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent dbd2e2c commit bc5cbb0Copy full SHA for bc5cbb0
compiler/src/dotty/tools/dotc/core/Types.scala
@@ -3947,7 +3947,7 @@ object Types {
3947
else if (!infoLo.isAlias && !infoHi.isAlias) propagate(infoLo, infoHi)
3948
else range(tp.bottomType, tp.topType)
3949
// Using `parent` instead of `tp.topType` would be better for normal refinements,
3950
- // 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.
3951
// We should revisit this point in case we represent applied types not as refinements anymore.
3952
case Range(infoLo, infoHi) =>
3953
propagate(infoLo, infoHi)
0 commit comments