How to mark non-nullable a generic value-type cast?

Question

Let\'s say I have a generic function like the below one, which acts like a "switch" over the T-parameter type. My goal is to enforce the static analysis by adding