File "w53_without_cmi.ml", line 6, characters 4-9:
6 | [@@@alert xyz "xyz"] (* rejected *)
        ^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context

File "w53_without_cmi.ml", line 9, characters 6-11:
9 |   [@@@alert foo "foo"] (* rejected *)
          ^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context

File "w53_with_cmi.mli", line 6, characters 4-9:
6 | [@@@alert xyz "xyz"] (* rejected *)
        ^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context

File "w53_with_cmi.ml", line 1, characters 4-9:
1 | [@@@alert foo "foo"] (* rejected *)
        ^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context

File "w53_with_cmi.ml", line 2, characters 4-9:
2 | [@@@alert bar "bar"] (* rejected *)
        ^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context

File "w53_with_cmi.ml", line 6, characters 4-9:
6 | [@@@alert xyz "xyz"] (* rejected *)
        ^^^^^
Warning 53 [misplaced-attribute]: the alert attribute cannot appear in this context
File "w53_across_cmi.ml", line 17, characters 5-20:
17 | open W53_without_cmi
          ^^^^^^^^^^^^^^^
Alert bar: module W53_without_cmi
bar

File "w53_across_cmi.ml", line 17, characters 5-20:
17 | open W53_without_cmi
          ^^^^^^^^^^^^^^^
Alert foo: module W53_without_cmi
foo

File "w53_across_cmi.ml", line 18, characters 5-17:
18 | open W53_with_cmi
          ^^^^^^^^^^^^
Alert bar: module W53_with_cmi
bar(I)

File "w53_across_cmi.ml", line 18, characters 5-17:
18 | open W53_with_cmi
          ^^^^^^^^^^^^
Alert foo: module W53_with_cmi
foo(I)