Skip to content

refactor: deriving DecidableEq to use termination_by structural #16363

refactor: deriving DecidableEq to use termination_by structural

refactor: deriving DecidableEq to use termination_by structural #16363

Annotations

1 warning

The logs for this run have expired and are no longer available.