Member predicate TypeCase::getCheckedType

Gets the type being checked by this case. For example, the type being checked by the type case on line 3 is string in

switch(p) {
  case int i:
  case string s when s.Length>0:
    break;
  ...
}
Type getCheckedType()