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