You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This currently gives a "cyclic self-reference" error.
It should theoretically be possible to prove termination here. And it should be optional, anyway (since it's exec code).
The text was updated successfully, but these errors were encountered:
tjhance
changed the title
can't implement trait (e.g., Clone) for recursive datatype
can't implement trait (e.g., Clone) for recursive datatype that uses Option
Nov 14, 2024
Suppose you want to implement Clone for a recursive datatype:
This currently gives a "cyclic self-reference" error.
It should theoretically be possible to prove termination here. And it should be optional, anyway (since it's exec code).
The text was updated successfully, but these errors were encountered: