You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Top.scala:5:The kind of typeTest does not conform to the expected kind of
typeTest[A,H[B<:A]] in traitParent.
Sub.this.Test'stypeparametersdo not matchtypeTest's expected parameters:
typeB (in traitSub)'s bounds >:Nothing<:A are stricter than typeB (in
traitParent)'s declared bounds >:Nothing<:AtypeTest[A, H[B<:A]] =A
^
the problem is likely in this line in Infer.scala:
if (!(transform(hkparam.info.instantiateTypeParams(tparams, targs).bounds.substSym(hkparams, hkargs), paramowner) <:< transform(hkarg.info.bounds, owner)))
The text was updated successfully, but these errors were encountered:
should type check, but instead complains:
the problem is likely in this line in Infer.scala:
The text was updated successfully, but these errors were encountered: