@Test
void parse_noTypeVars() {

    t=testee.parse("a.b.c->a");
    assertTrue(t.isRight());
    assertEquals(
            t.check("java names must conatain a",x-> x.names().contains("a") ).
            check("arrow must be SUBTYPE", x->x.conversionCoverage()== ConversionCoverage.SUBTYPES)
            .check("must not have type vars", x->x.typeVariables().isEmpty())
            .checkOrLeft("must have an a", x->x.tsExpressionElements().get(0).value().equals("a")), null
    );
}