Rely on Roslyn's SwitchWithoutDefault diagnostic during plugin execution