File "w45.ml", line 24, characters 2-9:
24 |   open T2 (* shadow X, which is later used; but not A, see #6762 *)
       ^^^^^^^
Warning 45 [open-shadow-label-constructor]: this open statement shadows the constructor X (which is later used)

File "w45.ml", line 26, characters 14-15:
26 |   let _ = (A, X) (* X belongs to several types *)
                   ^
Warning 41 [ambiguous-name]: X belongs to several types: T2.s T1.s
The first one was selected. Please disambiguate if this is wrong.

File "w45.ml", line 23, characters 2-9:
23 |   open T1 (* unused open *)
       ^^^^^^^
Warning 33 [unused-open]: unused open T1.