public void NoCode_ShouldYieldNoDiagnostics() => DiagnosticVerifier.VerifyDiagnostics<AA1300ParametersShouldNotBeModifiedAnalyzer>( @"..\..\CodeUnderTest\EmptyFile.cs");