Skip to content

Added error 'lift' operator that more ergonomically handles mixed error types via combined enum #927

Added error 'lift' operator that more ergonomically handles mixed error types via combined enum

Added error 'lift' operator that more ergonomically handles mixed error types via combined enum #927

Annotations

1 warning

Soundness  /  Python lint check

succeeded Mar 25, 2026 in 7s