Type check fails on records when a polymorphic rest type is involved

[samvv]

The following example should result in an error but none is raised:

let foo x : { first : Bool, second : Int | a } -> Int

foo { first = True, third = 4 }