Skip to content

refactor: deriving DecidableEq to use termination_by structural #19470

refactor: deriving DecidableEq to use termination_by structural

refactor: deriving DecidableEq to use termination_by structural #19470

Annotations

1 warning

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