`NonNullable<Generic>` always returns `never` when under `Generic extends undefined`

I'm making a program that takes in user jsons, and want to make a system to check that they follow a particular format. The compiler is yelling at me, however, and I'm not sure why. Here is my code, stripped of all the d