TypeScript compiler fails to eliminate filtered types from union typed argument

Question

I ran into a problem with the TypeScript compiler and would appreciate any help people might be able to offer.

I have reduced the issue original code as much as possible,