Function TEST

checker/optional_test.cc:76–101

}

TEST(OptionalTest, OptSelectDoesNotAnnotateFieldType) {
  ASSERT_OK_AND_ASSIGN(
      std::unique_ptr<TypeCheckerBuilder> builder,
      CreateTypeCheckerBuilder(GetSharedTestingDescriptorPool()));
  ASSERT_THAT(builder->AddLibrary(StandardCheckerLibrary()), IsOk());
  ASSERT_THAT(builder->AddLibrary(OptionalCheckerLibrary()), IsOk());
  builder->set_container("cel.expr.conformance.proto3");
  ASSERT_OK_AND_ASSIGN(std::unique_ptr<TypeChecker> checker,
                       std::move(*builder).Build());

  ASSERT_OK_AND_ASSIGN(auto ast,
                       MakeTestParsedAst("TestAllTypes{}.?single_int64"));

  ASSERT_OK_AND_ASSIGN(auto result, checker->Check(std::move(ast)));

  EXPECT_THAT(result.GetIssues(), IsEmpty());
  ASSERT_OK_AND_ASSIGN(auto checked_ast, result.ReleaseAst());

  ASSERT_THAT(checked_ast->root_expr().call_expr().args(), SizeIs(2));
  int64_t field_id = checked_ast->root_expr().call_expr().args()[1].id();
  EXPECT_NE(field_id, 0);

  EXPECT_THAT(checked_ast->type_map(), Not(Contains(Key(field_id))));
  EXPECT_THAT(checked_ast->GetTypeOrDyn(checked_ast->root_expr().id()),
              IsOptionalType(TypeSpec(PrimitiveType::kInt64)));
}

struct TestCase {
  std::string expr;