table.find on string union table errors

[cheesycod]

Minimum Reproducible Example

local a = {
    "A",
    "B"
} :: {"A" | "B"}
table.find(a, "A")

To me, this feels like it should work but I instead get the following error:

TypeError: No valid instantiation could be inferred for generic type parameter V. It was expected to be at least:
	"A" | "B" | string
and at most:
	"A" | "B"
but these types are not compatible with one another.Luau[1057](https://luau-lang.org/typecheck)```

[hgoldstein]

I think what's happening here is that, due to bidirectional inference not composing with generic functions, we don't see that the "A" in table.find(a, "A") needs to be of type "A". This is something we're working on improving but it will take time 🙂