Skip to content

Add -Wmissing-poly-kind-signatures

This would be a restricted version of -Wmissing-kind-signatures shown only for polykinded types.

This is useful together with PolyKinds to catch accidentally polykinded types, or to make that polymorphism explicit without needing to give kind signature to every type (to silent -Wmissing-kind-signatures).

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