>the code inspection tools continues to ask me ...

# arrow

[pakoito]

the code inspection tools continues to ask me to provide more type info

That seems correct. The left case of your either is unknown, and it won’t be able to infer it from your environment unless you hint it somewhere.