Pyright can check exhaustiveness of match statements on unions ( lemmy.sdf.org ) Twitter user @DanyX23:...