Lines Matching defs:type3
656 TypeHandle type3 = T.Random();
658 TypeHandle function1 = T.Function1(type1, type2, type3);
659 TypeHandle function2 = T.Function2(type1, type2, type3);
673 TypeHandle type3 = T.Random();
675 TypeHandle function1 = T.Function1(type1, type2, type3);
676 TypeHandle function2 = T.Function2(type1, type2, type3);
686 CheckEqual(type3, function1->AsFunction()->Parameter(0));
688 CheckEqual(type3, function2->AsFunction()->Parameter(1));
699 TypeHandle type3 = T.Random();
701 TypeHandle function02 = T.Function0(type1, type3);
702 TypeHandle function03 = T.Function0(type3, type2);
704 TypeHandle function12 = T.Function1(type1, type2, type3);
706 TypeHandle function22 = T.Function2(type1, type2, type3);
707 TypeHandle function23 = T.Function2(type1, type3, type2);
708 CHECK(Equal(function01, function02) == Equal(type2, type3));
709 CHECK(Equal(function01, function03) == Equal(type1, type3));
710 CHECK(Equal(function11, function12) == Equal(type2, type3));
711 CHECK(Equal(function21, function22) == Equal(type2, type3));
712 CHECK(Equal(function21, function23) == Equal(type2, type3));
911 TypeHandle type3 = *it3;
912 CHECK(!(type1->Is(type2) && type2->Is(type3)) || type1->Is(type3));
1132 TypeHandle type3 = *it3;
1133 CHECK(!(type1->NowIs(type2) && type2->NowIs(type3)) ||
1134 type1->NowIs(type3));
1453 TypeHandle type3 = *it3;
1455 TypeHandle union23 = T.Union(type2, type3);
1457 TypeHandle union12_3 = T.Union(union12, type3);
1493 TypeHandle type3 = *it3;
1494 TypeHandle union13 = T.Union(type1, type3);
1495 TypeHandle union23 = T.Union(type2, type3);
1513 TypeHandle type3 = *it3;
1515 CHECK(!(type1->Is(type3) && type2->Is(type3)) || union12->Is(type3));
1529 TypeHandle type3 = *it3;
1530 TypeHandle union23 = T.Union(type2, type3);
1531 CHECK(!(type1->Is(type2) || type1->Is(type3)) || type1->Is(union23));
1695 TypeHandle type3 = *it3;
1697 TypeHandle intersect23 = T.Intersect(type2, type3);
1699 TypeHandle intersect12_3 = T.Intersect(intersect12, type3);
1738 TypeHandle type3 = *it3;
1739 TypeHandle intersect13 = T.Intersect(type1, type3);
1740 TypeHandle intersect23 = T.Intersect(type2, type3);
1755 TypeHandle type3 = *it3;
1757 CHECK(!(type1->Is(type3) || type2->Is(type3)) ||
1758 intersect12->Is(type3));
1772 TypeHandle type3 = *it3;
1773 TypeHandle intersect23 = T.Intersect(type2, type3);
1774 CHECK(!(type1->Is(type2) && type1->Is(type3)) ||
1890 TypeHandle type3 = *it3;
1892 TypeHandle union13 = T.Union(type1, type3);
1893 TypeHandle intersect23 = T.Intersect(type2, type3);
1910 TypeHandle type3 = *it3;
1912 TypeHandle intersect13 = T.Intersect(type1, type3);
1913 TypeHandle union23 = T.Union(type2, type3);
1930 TypeHandle type3 = T.template Convert<Type2>(type2);
1931 CheckEqual(type1, type3);