diff --git a/test/static_analysis/builtins.py b/test/static_analysis/builtins.py new file mode 100644 index 00000000..86caca65 --- /dev/null +++ b/test/static_analysis/builtins.py @@ -0,0 +1,11 @@ +# ---------- +# isinstance +# ---------- + +isinstance(1, int) +isinstance(1, (int, str)) + +#! 14 type-error-isinstance +isinstance(1, 1) +#! 14 type-error-isinstance +isinstance(1, [int, str])