@Test
public void resolveLiteralInEnvFailed() {

  SemanticCheckException exception = assertThrows(SemanticCheckException.class,
      () -> environment().resolve(new Symbol(Namespace.FIELD_NAME, "1")));
  assertEquals("can't resolve Symbol(namespace=FIELD_NAME, name=1) in type env",
      exception.getMessage());
}