File tree Expand file tree Collapse file tree 2 files changed +0
-40
lines changed Expand file tree Collapse file tree 2 files changed +0
-40
lines changed Original file line number Diff line number Diff line change @@ -192,8 +192,6 @@ def unary_plus(n: int) -> int:
192192def unary_invert(n: int) -> int:
193193 x = ~n
194194 return x
195- def unary_not(n: int) -> bool:
196- return not n
197195[out]
198196def unary_minus(n):
199197 n, r0, x :: int
212210 r0 = CPyTagged_Invert(n)
213211 x = r0
214212 return x
215- def unary_not(n):
216- n :: int
217- r0 :: bit
218- L0:
219- r0 = int_eq n, 0
220- return r0
Original file line number Diff line number Diff line change @@ -180,10 +180,6 @@ def is_true(x: Union[str, NewStr]) -> bool:
180180 return True
181181 else:
182182 return False
183- def unary_not(x: Union[str, NewStr]) -> bool:
184- return not x
185- def unary_not_optional(x: Union[str, None]) -> bool:
186- return not x
187183[typing fixtures/typing-full.pyi]
188184[out]
189185def is_true(x):
198194 return 0
199195L3:
200196 unreachable
201- def unary_not(x):
202- x :: str
203- r0, r1 :: bit
204- L0:
205- r0 = CPyStr_IsTrue(x)
206- r1 = r0 ^ 1
207- return r1
208- def unary_not_optional(x):
209- x :: union[str, None]
210- r0 :: object
211- r1, r2 :: bit
212- r3 :: str
213- r4, r5 :: bit
214- L0:
215- r0 = load_address _Py_NoneStruct
216- r1 = x == r0
217- if r1 goto L1 else goto L2 :: bool
218- L1:
219- r2 = 1
220- goto L3
221- L2:
222- r3 = unchecked borrow cast(str, x)
223- r4 = CPyStr_IsTrue(r3)
224- r5 = r4 ^ 1
225- r2 = r5
226- L3:
227- keep_alive x
228- return r2
229197
230198[case testStringFormatMethod]
231199from typing import NewType, Union
You can’t perform that action at this time.
0 commit comments