[New solver] Invariant subtyping failure with annotated type against table literal

[imnerolin]

type foo = {abc: number?}
local x: foo = {abc = 100} -- ok
local y: foo = {abc = 10 * 10} -- Type { a: number } could not be converted to 'foo'; number is not exactly nil

lmao