320   EXPECT_THAT_EXPECTED(Extract(ast.BoolTy, 0), HasValue("0"));  in TEST_F()
321   EXPECT_THAT_EXPECTED(Extract(ast.BoolTy, 1), HasValue("1"));  in TEST_F()
342                        HasValue(std::to_string(int_min)));  in TEST_F()
344                        HasValue(std::to_string(int_min + 1)));  in TEST_F()
346                        HasValue(std::to_string(int_min + 2)));  in TEST_F()
349   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, -128), HasValue("-128"));  in TEST_F()
350   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, -10), HasValue("-10"));  in TEST_F()
351   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, -1), HasValue("-1"));  in TEST_F()
352   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, 0), HasValue("0"));  in TEST_F()
353   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, 1), HasValue("1"));  in TEST_F()
354   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, 10), HasValue("10"));  in TEST_F()
355   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, 128), HasValue("128"));  in TEST_F()
359                        HasValue(std::to_string(int_max - 2)));  in TEST_F()
361                        HasValue(std::to_string(int_max - 1)));  in TEST_F()
363                        HasValue(std::to_string(int_max)));  in TEST_F()
369                        HasValue(std::to_string(int_max / 2)));  in TEST_F()
371                        HasValue(std::to_string(int_min / 2)));  in TEST_F()
381   EXPECT_THAT_EXPECTED(Extract(ast.UnsignedIntTy, 0), HasValue("0"));  in TEST_F()
382   EXPECT_THAT_EXPECTED(Extract(ast.UnsignedIntTy, 1), HasValue("1"));  in TEST_F()
383   EXPECT_THAT_EXPECTED(Extract(ast.UnsignedIntTy, 1234), HasValue("1234"));  in TEST_F()
387                        HasValue(std::to_string(uint_max / 2)));  in TEST_F()
391                        HasValue(std::to_string(uint_max - 2)));  in TEST_F()
393                        HasValue(std::to_string(uint_max - 1)));  in TEST_F()
395                        HasValue(std::to_string(uint_max)));  in TEST_F()