(New solver) Generic parameters unioned with a literal infer to unknown if a literal is passed in

[ffrostfall]

Reproduction:

local function foo<T>(my_enum: "" | T): T
	return my_enum
end

local var = foo("meow") -- var is unknown here, should be "meow"