tests: update test for @no_type_check

Josverl · Nov 4, 2024 · 53ad09c · 53ad09c
1 parent 1323fb8
commit 53ad09c
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/tests/quality_tests/check_rp2/check_rp2/check_asm_pio.py b/tests/quality_tests/check_rp2/check_rp2/check_asm_pio.py
@@ -7,9 +7,18 @@
 # ref : https://docs.micropython.org/en/latest/rp2/quickref.html#programmable-io-pio
 """
 from typing import no_type_check
+import typing
 import rp2
 from machine import Pin
+import time
 
+
+@no_type_check
+def foo() -> str:
+   return 12345  # No error!
+
+
+# mypy: ignore-errors
 @no_type_check
 @rp2.asm_pio(set_init=rp2.PIO.OUT_LOW)
 def blink_1hz():

diff --git a/tests/quality_tests/check_rp2/check_rp2/check_no_type_check.py b/tests/quality_tests/check_rp2/check_rp2/check_no_type_check.py
@@ -9,7 +9,13 @@
 from typing import no_type_check
 import rp2
 from machine import Pin
+import time
 
+@no_type_check
+def foo() -> str:
+   return 12345  # No error!
+
+# mypy: ignore-errors
 @no_type_check
 @rp2.asm_pio(set_init=0)
 def blink_1hz():