@Test public void Record1() { test(); }
@Test public void Record2() { test(); }
@Test public void Record3() { test(); }
+ @Test public void Record4() { test(); }
@Test public void RecordShorthand() { test(); }
@Test public void RecordWildcards() { test(); }
@Test public void RecursionBug() { test(); }
@Test public void TypeClassBug1() { test(); }
@Test(timeout=1000L) public void TypeInferenceBug2() { test(); }
@Test public void TypeInferenceBug3() { test(); }
+ @Test(timeout=100L) public void TypeInferenceBug4() { test(); }
@Test public void TypeOf1() { test(); }
@Test public void TypingBug1() { test(); }
@Test public void TypingError1() { test(); }