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