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()
322   EXPECT_THAT_EXPECTED(Extract(ast.BoolTy, 2), Failed());  in TEST_F()
323   EXPECT_THAT_EXPECTED(Extract(ast.BoolTy, 3), Failed());  in TEST_F()
339   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_min - 2), llvm::Failed());  in TEST_F()
340   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_min - 1), llvm::Failed());  in TEST_F()
341   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_min),  in TEST_F()
343   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_min + 1),  in TEST_F()
345   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, 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()
358   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_max - 2),  in TEST_F()
360   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_max - 1),  in TEST_F()
362   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_max),  in TEST_F()
364   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_max + 1), llvm::Failed());  in TEST_F()
365   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_max + 5), llvm::Failed());  in TEST_F()
368   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, int_max / 2),  in TEST_F()
370   EXPECT_THAT_EXPECTED(ExtractS(ast.IntTy, 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()
386   EXPECT_THAT_EXPECTED(Extract(ast.UnsignedIntTy, uint_max / 2),  in TEST_F()
390   EXPECT_THAT_EXPECTED(Extract(ast.UnsignedIntTy, uint_max - 2),  in TEST_F()
392   EXPECT_THAT_EXPECTED(Extract(ast.UnsignedIntTy, uint_max - 1),  in TEST_F()
394   EXPECT_THAT_EXPECTED(Extract(ast.UnsignedIntTy, uint_max),  in TEST_F()
396   EXPECT_THAT_EXPECTED(Extract(ast.UnsignedIntTy, uint_max + 1),  in TEST_F()
398   EXPECT_THAT_EXPECTED(Extract(ast.UnsignedIntTy, uint_max + 2),  in TEST_F()