Skip to content

set.discard() swallows TypeError raised by __eq__; set.remove() replaces it with KeyError #13473

set.discard() swallows TypeError raised by __eq__; set.remove() replaces it with KeyError

set.discard() swallows TypeError raised by __eq__; set.remove() replaces it with KeyError #13473

Triggered via issue August 2, 2026 20:39
Status Success
Total duration 17s
Artifacts
add-header
4s
add-header
Fit to window
Zoom out
Zoom in