TypeScript Intersection: Why is a function & string not never?

Question

Kind of as it says on the tin.

type Foo = ((bar: boolean) => number) & string;

doesn't appear resolve to never, as string & number would. The type is still impossible, but why does it not show that as the case until one tries to assign to it?