Table contents are not checked for type intersections

[taminomara]

I gave up on trying to contribute anything around type intersections, so I'll just report this:

--- @param x { y: integer } & { z: string }
function foo(x) end
foo({y = "", z = ""}) -- should be an error: `y` is not an integer