Buggy code:
@ RunWith ( Parameterized . class ) public class ModelLoaderTests extends CompilerTests { @ Parameters public static Iterable < Object [ ] > testParameters ( ) { } private final boolean simpleAnnotationModels ; public ModelLoaderTests ( boolean simpleAnnotationModels ) { } protected static String getQualifiedPrefixedName ( Declaration decl ) { } protected void verifyCompilerClassLoading ( String ceylon ) { } protected void verifyCompilerClassLoading ( String ceylon , final ModelLoaderTests . ModelComparison modelCompare ) { } private void compareDeclarations ( final ModelLoaderTests . ModelComparison modelCompare , final Map < String , Declaration > decls , AbstractModelLoader modelLoader , Modules modules ) { } private Module getTestModule ( Modules modules ) { } protected void verifyCompilerClassLoading ( String ceylon , final RunnableTest test ) { } protected void verifyCompilerClassLoading ( String ceylon , final RunnableTest test , List < String > options ) { } protected void verifyRuntimeClassLoading ( RunnableTest test ) { } protected static class ModelComparison { private boolean isUltimatelyVisible ( Declaration d ) { } public void compareDeclarations ( String name , Declaration validDeclaration , Declaration modelDeclaration ) { } protected void compareContainers ( Declaration validDeclaration , Declaration modelDeclaration ) { } protected void compareScopes ( Declaration validDeclaration , Declaration modelDeclaration ) { } protected void compareAnnotations ( Declaration validDeclaration , Declaration modelDeclaration ) { } protected void compareAnnotation ( String element , Annotation validAnnotation , Annotation modelAnnotation ) { } private Map < Integer , Set < Integer > > alreadyCompared = new HashMap < Integer , Set < Integer > > ( ) ; private boolean alreadyCompared ( Declaration validDeclaration , Declaration modelDeclaration ) { } protected void compareTypeParameters ( TypeParameter validDeclaration , TypeParameter modelDeclaration ) { } protected void compareClassOrInterfaceDeclarations ( ClassOrInterface validDeclaration , ClassOrInterface modelDeclaration ) { } protected void compareCaseTypes ( String name , List < TypeDeclaration > validTypeDeclarations , List < TypeDeclaration > modelTypeDeclarations ) { } protected void compareSelfTypes ( Class validDeclaration , Class modelDeclaration , String name ) { } private Declaration lookupMember ( ClassOrInterface container , Declaration referenceMember ) { } protected void compareSatisfiedTypes ( String name , List < TypeDeclaration > validTypeDeclarations , List < TypeDeclaration > modelTypeDeclarations ) { } protected void compareParameterLists ( String name , List < ParameterList > validParameterLists , List < ParameterList > modelParameterLists ) { } protected void compareParameterList ( String name , int i , List < Parameter > validParameterList , List < Parameter > modelParameterList ) { } protected void compareMethodDeclarations ( Method validDeclaration , Method modelDeclaration ) { } protected void compareTypeParameters ( String name , List < TypeParameter > validTypeParameters , List < TypeParameter > modelTypeParameters ) { } protected void compareAttributeDeclarations ( MethodOrValue validDeclaration , Value modelDeclaration ) { } protected boolean compareTransientness ( MethodOrValue validDeclaration ) { } } @ Test public void loadClass ( ) { } @ Test public void loadClassWithMethods ( ) { } @ Test public void loadVariadic ( ) { compile ( "Variadic.ceylon" ) ; <START_BUG> assertErrors ( "variadictest" , new CompilerError ( 7 , "missing<seq2seq4repair_space>argument<seq2seq4repair_space>to<seq2seq4repair_space>required<seq2seq4repair_space>parameter<seq2seq4repair_space>'seq'<seq2seq4repair_space>of<seq2seq4repair_space>'VariadicPlus'" ) ) ; <END_BUG> } @ Test public void loadMultipleParameterList ( ) { } @ Test public void loadFunctionalParameter ( ) { } @ Test public void functionalParameterParameterNames ( ) { } @ Test public void loadInnerClass ( ) { } @ Test public void loadInnerInterface ( ) { } @ Test public void loadClassWithAttributes ( ) { } @ Test public void loadClassWithAttributeAndConflictingMethods ( ) { } @ Test public void loadTypeParameters ( ) { } @ Test public void loadTypeParameterResolving ( ) { } @ Test public void loadToplevelMethods ( ) { } @ Test public void loadToplevelAttributes ( ) { } @ Test public void loadToplevelObjects ( ) { } @ Test public void loadErasedTypes ( ) { } @ Test public void loadDocAnnotations ( ) { } @ Test public void loadLocalDeclarations ( ) { } @ Test public void loadDefaultValues ( ) { } @ Test public void loadJavaKeywords ( ) { } @ Test public void loadAnnotations ( ) { } @ Test public void loadGettersWithUnderscores ( ) { } @ Test public void loadCaseTypes ( ) { } @ Test public void loadSelfType ( ) { } @ Test public void testTypeParserUsingSourceModel ( ) { } @ Test public void loadFormalClasses ( ) { } @ Test public void parallelLoader ( ) { } @ Ignore ( "This<seq2seq4repair_space>is<seq2seq4repair_space>the<seq2seq4repair_space>single-threaded<seq2seq4repair_space>version<seq2seq4repair_space>of<seq2seq4repair_space>parallelLoader<seq2seq4repair_space>that<seq2seq4repair_space>loads<seq2seq4repair_space>the<seq2seq4repair_space>JDK<seq2seq4repair_space>entirely<seq2seq4repair_space>to<seq2seq4repair_space>benchmark<seq2seq4repair_space>the<seq2seq4repair_space>model<seq2seq4repair_space>loader" ) @ Test public void jdkModelLoaderSpeedTest ( ) { } protected String moduleForJavaModelLoading ( ) { } protected String moduleVersionForJavaModelLoading ( ) { } protected String packageForJavaModelLoading ( ) { } @ Test public void javaModelLoading ( ) { } @ Test public void javaDeprecated ( ) { } @ Test public void bogusModelAnnotationsTopLevelAttribute ( ) { } @ Test public void bogusModelAnnotationsTopLevelMethod ( ) { } @ Test public void bogusModelAnnotationsTopLevelClass ( ) { } interface I < T , X , B extends Number > { void foo ( ) { } void params ( int i ) { } void parameterised ( T t ) { } void parameterised ( T t , String s ) { } void parameterised2 ( X t ) { } < M > void mparameterised ( ) { } void parameterisedB ( B b ) { } } interface I2 < B extends Number > { void parameterisedB ( B b ) { } } class RawC implements ModelLoaderTests . I2 { @ Override public void parameterisedB ( Number b ) { } } class C < T , B extends Number > implements ModelLoaderTests . I < Integer , T , B > { @ Override public void foo ( ) { } public void bar ( ) { } @ Override public void params ( int i ) { } @ Override public void parameterised ( Integer t ) { } @ Override public void parameterised ( Integer t , String s ) { } @ Override public void parameterised2 ( T t ) { }

Fix:
assertErrors ( "variadictest" , new CompilerError ( 7 , "missing<seq2seq4repair_space>argument<seq2seq4repair_space>to<seq2seq4repair_space>required<seq2seq4repair_space>parameter<seq2seq4repair_space>'String+<seq2seq4repair_space>seq'<seq2seq4repair_space>of<seq2seq4repair_space>'VariadicPlus'" ) ) ;