Comment by cowlevel

11 days ago

So point to the spec

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.

      5 replies →

this is probably a great opportunity for rust to get one, if they want to be taken seriously

  • I totally understand that people have favourite languages and that rust, like any language and any ecosystem around that language, has idiosyncrasies that are not for everyone, but how would one ever come to the genuine conclusion that rust is not being taken seriously? By whom?