Warn about unnecessary unsafeCoerce
unsafeCoerce has been around a lot longer than
coerce, so older code tends to use it even if
coerce could do the job. It would be nice if the type checker could produce a warning when it detected such a situation.
|Component||Compiler (Type checker)|
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information