Hi Harald, The patch looks good to me (although I did not test it), however I don’t like the standard legalese in the error messages.
IMO R1035 bounds-spec is lower-bound-expr : R1036 bounds-remapping is lower-bound-expr : upper-bound-exp should be rephrased in plain English. Thanks for the work. Dominique