We could make it an array of `SourceVersion`. Being able to expect a specific diagnostic on several versions seems to make sense and the array can be empty by default, meaning "any version".