To quote @weswigham on #4447 (comment):

in [the] closure compiler you do inline casts with jsdoc comments like so:

var x = /** @type {Foo.Bar} */ (y);

We should consider supporting this in Salsa.