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
The last line should not require explicit type arguments. This appears to be caused
by not being able to conclude Cap <: CapSet^{Cap^}, but both sides
are morally equivalent.
The text was updated successfully, but these errors were encountered:
Compiler version
Latest nightly
Minimized code
As noted in PR #22000, some expected subtyping
relations are still not supported.
Expectation
The last line should not require explicit type arguments. This appears to be caused
by not being able to conclude
Cap <: CapSet^{Cap^}
, but both sidesare morally equivalent.
The text was updated successfully, but these errors were encountered: