Type error of the inlined empty record #5899
Description
The inlined empty record is not passing the type checker.
type inlinedOptional2 = V0({x?: int})
let ir4 = V0({x: 3})
let ir5 = V0({}) // error{{ message }}
The inlined empty record is not passing the type checker.
type inlinedOptional2 = V0({x?: int})
let ir4 = V0({x: 3})
let ir5 = V0({}) // error