unknown for any F the call settles on, and left unresolved while F is
still being inferred.
A conditional on F is deferred until F is known, so beside a naked F in
a union it neither takes part in inference nor survives it: F | UnknownOnceInferred<F>
is a union with a naked F while the call is inferred, and unknown once it
is checked.
unknownfor anyFthe call settles on, and left unresolved whileFis still being inferred.A conditional on
Fis deferred untilFis known, so beside a nakedFin a union it neither takes part in inference nor survives it:F | UnknownOnceInferred<F>is a union with a nakedFwhile the call is inferred, andunknownonce it is checked.