logoalt Hacker News

Ukv • today at 12:14 PM • 1 reply • view on HN

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.")


Replies

cowlevel • today at 12:58 PM

That's a pretty basic property of any language. Why does the rust compiler fail to enforce it in this case?

➕ show 1 reply