Investigate the implications of a huge Lustre type-system issue

Lustre accepts the following code despite i : int.

function gen << const i : int >> (f : bool) returns (e : bool);
let
    e = f and i;
tel;

-- Excuse me?
function gen1 = gen<<false>>;