@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(); }