Which is the inferred type x after assertNonNull(x)?

function assertNonNull<T>(x: T | null | undefined): asserts x is T { /* ... */ }