Skip to content

Add -Wmissing-role-annotations

Oleg Grenrus requested to merge phadej/ghc:missing-role-annotations into master

Resolves #22702 (closed)

The implementation is pretty simple: if there is no role annotation and it's not trivial: warn.

Edited by Oleg Grenrus

Merge request reports