Comment by Ukv
11 days ago
https://public-docs.ferrocene.dev/main/specification/types-a...
Specifically the `q.0 = Some(&l);` violating 4.15.2:40 ("An assignment expression requires that the type of its value operand is a subtype of the type of its assignee operand.")
That's a pretty basic property of any language. Why does the rust compiler fail to enforce it in this case?
> Why does the rust compiler fail to enforce it in this case?
A bug. The one linked, that we're all talking about.
Feel free to share a link to any software that has zero bugs.
What causes the bug?
4 replies →