Comment by Kuinox

The inference doesn't return a single token, but the probably for all tokens. You just select the token that is allowed according to the compiler.