Skip to content

Implement -Wforall-identifier

The -Wforall-identifier is part of the accepted proposal “Visible forall in types of terms”.

I will implement.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information