### Describe the Bug When running match case on types, it doesn't calculate that all the cases are used there. ### Sandbox Link https://pyrefly.org/sandbox/?code=FAMwTg9gtgBALgTwA4EsB2BzGKpImOGAQwGcSBTAgfTXIDdLhgATckGKBKqcuACwjMAFCThgq+KujgAuGKLAwAPtjRwAlDAC0APnliZwGMY5E4AYz77xk6YZMOY50uWtDNpa1WZmi9xwFgvACuYGhePnBERgFOLqpw7sQkCd6+-rEmQXCh4QpC0mlR6kwsbBxcPPyCVABMImIS4nbWygmautYZphZWCk1Sat0OzhRuHin9kX4xmcbZuRG+s46jrtJJnoXTw7ELYW7bviWZazBUuwGkFNS0DGANNs1qJcBAA ### (Only applicable for extension issues) IDE Information _No response_