using System;
module A {
    static Main() : void {
        def x = 1;
        _ = x :> Int64 :> Int32; // error : (Int64 :> Int32) is not a legal type expression
    }
}