File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1184,7 +1184,7 @@ def test_eval_bool_04():
11841184
11851185
11861186type IsIntBool [T ] = Bool [IsSub [T , int ]]
1187- type IsIntLiteral [T ] = Literal [True ] if IsIntBool [T ] else Literal [False ]
1187+ type IsIntLiteral [T ] = Literal [True ] if Bool [ IsIntBool [T ] ] else Literal [False ]
11881188
11891189
11901190def test_eval_bool_05 ():
@@ -1231,7 +1231,7 @@ def test_eval_all_02():
12311231
12321232type ContainsAllInt [Ts ] = AllOf [* [IsSub [t , int ] for t in Iter [Ts ]]]
12331233type ContainsAllIntToLiteral [Ts ] = (
1234- Literal [True ] if ContainsAllInt [Ts ] else Literal [False ]
1234+ Literal [True ] if Bool [ ContainsAllInt [Ts ] ] else Literal [False ]
12351235)
12361236
12371237
@@ -1314,7 +1314,7 @@ def test_eval_any_02():
13141314
13151315type ContainsAnyInt [Ts ] = AnyOf [* [IsSub [t , int ] for t in Iter [Ts ]]]
13161316type ContainsAnyIntToLiteral [Ts ] = (
1317- Literal [True ] if ContainsAnyInt [Ts ] else Literal [False ]
1317+ Literal [True ] if Bool [ ContainsAnyInt [Ts ] ] else Literal [False ]
13181318)
13191319
13201320
You can’t perform that action at this time.
0 commit comments