← Back to context Comment by insanitybit 11 days ago Sure, I think it was still under the same unsound tag regardless. 2 comments insanitybit Reply masklinn 11 days ago Unsoundness and UB are very different things, UB tells users of the language "don't do that it's wrong", unsoundness tells users of the language "be careful we need to fix that", it's a bug. insanitybit 10 days ago I don't care, nor should anyone else
masklinn 11 days ago Unsoundness and UB are very different things, UB tells users of the language "don't do that it's wrong", unsoundness tells users of the language "be careful we need to fix that", it's a bug. insanitybit 10 days ago I don't care, nor should anyone else
Unsoundness and UB are very different things, UB tells users of the language "don't do that it's wrong", unsoundness tells users of the language "be careful we need to fix that", it's a bug.
I don't care, nor should anyone else