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?
That's a pretty basic property of any language. Why does the rust compiler fail to enforce it in this case?