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
{{ message }}
Repository navigation
Address variance conformance gaps: variance in base class specializations #2263
@migeed-z I tagged as P1 for now, but maybe there should just be a P0 epic for variance stuff, it does seem like it needs work in a v1 release
This is a much bigger problem than I thought! ideally, we want a warning mode, a checking mode and our inference mode. This will need additional plumbing so we can reuse as much of the machinery as possible but configure it with different settings.
Activity
stroxler commentedon Jan 29, 2026
@migeed-z I tagged as P1 for now, but maybe there should just be a P0 epic for variance stuff, it does seem like it needs work in a v1 release
migeed-z commentedon Feb 1, 2026
This is a much bigger problem than I thought! ideally, we want a warning mode, a checking mode and our inference mode. This will need additional plumbing so we can reuse as much of the machinery as possible but configure it with different settings.
[T, *Ts]gets error #2363[T, *Ts]gets error #2363