-- CLI flag "--parse-only": just parse, don't type-check.
let a : b = c;