@Test public void JavaMethods() { test(); }
@Test public void JavaTypes() { test(); }
@Test public void Kinds1() { test(); }
+ @Test public void Lazy1() { test(); }
@Test public void Lambda() { test(); }
@Test public void LambdaMatch() { test(); }
@Test public void Layout1() { test(); }
@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(); }