> "never" is not really ever a good choice for a property/member type, because it is assignable to all types.

This isn’t right. It’s not assignable to anything other than never, that’s why never is so useful for this use case.