https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120389
--- Comment #2 from Gaius Mulley <gaius at gcc dot gnu.org> --- Created attachment 61494 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61494&action=edit Proposed fix which incompatible types in Xindr Here is a proposed patch. $ cat badarray.mod MODULE badarray3 ; VAR x: ARRAY [1..5] OF INTEGER ; BEGIN x[1] := 'c'; END badarray3. $ gm2 badarray3.mod badarray3.mod: In function ‘_M2_badarray3_init’: badarray3.mod:6:9: error: assignment check caught mismatch between expression and ‘c’ 6 | x[1] := 'c'; | ~~~~~^~~~~~