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 5e34031 commit bd45eccCopy full SHA for bd45ecc
src/dotty/tools/dotc/core/Constants.scala
@@ -173,8 +173,8 @@ object Constants {
173
ctx.typerState.constraint.entry(param) match {
174
case TypeBounds(lo, hi) =>
175
if (hi.classSymbol.isPrimitiveValueClass) hi //constrain further with high bound
176
- else lo
177
- case NoType => param.binder.paramBounds(param.paramNum).lo
+ else classBound(lo)
+ case NoType => classBound(param.binder.paramBounds(param.paramNum).lo)
178
case inst => classBound(inst)
179
}
180
case pt => pt
0 commit comments