On Sunday, 26 February 2023 at 07:11:55 UTC, Paul Backus wrote: > Since `Expression` contains `Binary` and `Unary`, and `Binary` > and `Unary` contain `Expression`, that means `Expression` > contains itself--which is not allowed, because it would result > in `Expression.sizeof` being infinite. It should display the proper error message then