Language restriction to solve 15276?

No, the parser has no idea that Int is a constant type.