ultimate-notion / ultimate-notion / 27833228151

87%

push

github

Drop value setter covariance type: ignore by widening param to object (#221)

`TypedObject.value`'s setter took the covariant `TO_co`, which is unsound
in an input position and required a `# type: ignore[misc]`. The body only
does an untyped `setattr`, so the parameter is now typed `object` (the
upper bound of the unbounded `TO_co`). The getter still narrows the return
to `TO_co`, so reads keep their precise type while the write side is
honestly typed. No cast or other workaround, and runtime is unchanged.

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

1 of 1 new or added line in 1 file covered. (100.0%)

6510 of 7403 relevant lines covered (87.94%)

6.13 hits per line