@@ -512,24 +512,32 @@ void testIsApplicableTypeVariables()
512512 final Type thingInt = new Nil <Thing <Integer >>() {}.type ();
513513 final Type numberThingInt = new Nil <NumberThing <Integer >>() {}.type ();
514514 final Type numberThingDouble = new Nil <NumberThing <Double >>() {}.type ();
515- final Type strangeThingDouble = new Nil <StrangeThing <Double >>() {}
516- .type ();
517- final Type strangerThingString = new Nil <StrangerThing <String >>() {}
518- .type ();
515+ final Type strangeThingDouble = new Nil <StrangeThing <Double >>() {}.type ();
516+ final Type strangerThingString = new Nil <StrangerThing <String >>() {}.type ();
519517 final Type integerThing = new Nil <IntegerThing >() {}.type ();
520518
521- assertEquals (-1 , Types .isApplicable (new Type [] { thingInt , thingInt ,
522- numberThingInt , integerThing }, new Type [] { t , t , t , t }));
523- assertEquals (-1 , Types .isApplicable (new Type [] { thingInt , numberThingInt ,
524- strangerThingString }, new Type [] { t , t , t }));
525- assertEquals (-1 , Types .isApplicable (new Type [] { thingInt , numberThingInt ,
526- integerThing }, new Type [] { t , t , t }));
527- assertEquals (-1 , Types .isApplicable (new Type [] { numberThingInt ,
528- strangeThingDouble }, new Type [] { t , t }));
519+ assertEquals (-1 , Types .isApplicable (
520+ new Type [] { thingInt , thingInt , numberThingInt , integerThing },
521+ new Type [] { t , t , t , t }
522+ ));
523+ assertEquals (-1 , Types .isApplicable (
524+ new Type [] { thingInt , numberThingInt , strangerThingString },
525+ new Type [] { t , t , t }
526+ ));
527+ assertEquals (-1 , Types .isApplicable (
528+ new Type [] { thingInt , numberThingInt , integerThing },
529+ new Type [] { t , t , t }
530+ ));
531+ assertEquals (-1 , Types .isApplicable (
532+ new Type [] { numberThingInt , strangeThingDouble },
533+ new Type [] { t , t }
534+ ));
529535 // S cannot accommodate a Double since S is already locked to Integer from
530536 // the first argument.
531- assertNotEquals (-1 , Types .isApplicable (new Type [] { thingInt , numberThingInt ,
532- numberThingDouble }, new Type [] { t , t , t }));
537+ assertNotEquals (-1 , Types .isApplicable (
538+ new Type [] { thingInt , numberThingInt , numberThingDouble },
539+ new Type [] { t , t , t }
540+ ));
533541 assertEquals (-1 , Types .isApplicable (new Type [] { u }, new Type [] { t }));
534542
535543 // recursive Type Variables
0 commit comments