@Test public void RecordShorthand() { test(); }
@Test public void RecordWildcards() { test(); }
@Test public void RecursionBug() { test(); }
@Test public void RecordShorthand() { test(); }
@Test public void RecordWildcards() { test(); }
@Test public void RecursionBug() { test(); }