diff --git a/docs/dev/news/4928.fix b/docs/dev/news/4928.fix index 4f1d3d2b04..cea1c2572b 100644 --- a/docs/dev/news/4928.fix +++ b/docs/dev/news/4928.fix @@ -1 +1,3 @@ -Check for correct usage of type characteristics in specifications and other places where they were missing +Check for correct usage of type characteristics in specifications and other places where they were missing. + +This fix will cause build breaks for programs with missing type characteristics (like `(!new)` and `(0)`). Any such error message is accompanied with a hint about what type characterics need to be added where.