--SEMANTIC---------
Type `Exact Array(Flat Int)' is invalid with `Inherit_array(Flat Int)'.
Line 10 column 9 in Main(.../test/compiler-msg/Exact/main.li):
    a := b
         ^

Line 8 column 7 in Main(.../test/compiler-msg/Exact/main.li):
    + b: Inherit_array Int
       ^
