Closed
Description
--!strict
type IsFoo = (("foo") -> (true)) & (("bar") -> (false))
local isFoo: IsFoo = nil :: any
isFoo("foo") -- TypeError: None of the overloads for function that accept 1 arguments are compatible.Autocomplete also doesn't work, presumably because the first argument isn't being refined as "foo" | "bar". But I'm not sure if this is an LSP issue or not.
This used to work in the old solver, but doesn't in the new solver.