Open samvv opened 7 months ago
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 }
The following example should result in an error but none is raised: