diff --git a/tests/cases/checker/03_functions.py.ref.json b/tests/cases/checker/03_functions.py.ref.json index bd2f5a9..227080c 100644 --- a/tests/cases/checker/03_functions.py.ref.json +++ b/tests/cases/checker/03_functions.py.ref.json @@ -285,7 +285,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -295,7 +296,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -305,7 +307,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -361,7 +364,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -371,7 +375,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -381,7 +386,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -455,7 +461,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -465,7 +472,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -475,7 +483,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -553,7 +562,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -563,7 +573,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -573,7 +584,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -665,7 +677,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -675,7 +688,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -685,7 +699,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -780,7 +795,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -790,7 +806,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -800,7 +817,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -870,7 +888,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -880,7 +899,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -890,7 +910,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -951,7 +972,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -961,7 +983,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -971,7 +994,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -1058,7 +1082,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -1068,7 +1093,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -1078,7 +1104,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -1176,7 +1203,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -1186,7 +1214,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -1196,7 +1225,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -1294,7 +1324,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -1304,7 +1335,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -1314,7 +1346,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, @@ -1412,7 +1445,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [ @@ -1422,7 +1456,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [ @@ -1432,7 +1467,8 @@ "type": { "name": "str" }, - "required": true + "required": true, + "unsupported": false } ] }, diff --git a/tests/cases/checker/06_subtyping.py.ref.json b/tests/cases/checker/06_subtyping.py.ref.json index fc56069..f349c7c 100644 --- a/tests/cases/checker/06_subtyping.py.ref.json +++ b/tests/cases/checker/06_subtyping.py.ref.json @@ -145,7 +145,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false }, { "pos": 1, @@ -153,7 +154,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [] diff --git a/tests/cases/checker/07_variance.py.ref.json b/tests/cases/checker/07_variance.py.ref.json index b34c2e6..baac740 100644 --- a/tests/cases/checker/07_variance.py.ref.json +++ b/tests/cases/checker/07_variance.py.ref.json @@ -318,7 +318,8 @@ "pos": 0, "name": "object", "type": {}, - "required": false + "required": false, + "unsupported": false } ], "mixed": [], diff --git a/tests/cases/checker/08_unification.py.ref.json b/tests/cases/checker/08_unification.py.ref.json index 27309d4..3750cdd 100644 --- a/tests/cases/checker/08_unification.py.ref.json +++ b/tests/cases/checker/08_unification.py.ref.json @@ -126,7 +126,8 @@ "pos": 0, "name": "object", "type": {}, - "required": false + "required": false, + "unsupported": false } ], "mixed": [], @@ -388,7 +389,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [] @@ -459,7 +461,8 @@ "bound": null, "variance": "INVARIANT" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [], @@ -471,7 +474,8 @@ "variance": "INVARIANT" } }, - "required": true + "required": true, + "unsupported": false }, { "pos": 1, @@ -489,7 +493,8 @@ "name": "list" } }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [], @@ -565,7 +570,8 @@ "type": { "name": "float" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [] @@ -636,7 +642,8 @@ "bound": null, "variance": "INVARIANT" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [], @@ -648,7 +655,8 @@ "variance": "INVARIANT" } }, - "required": true + "required": true, + "unsupported": false }, { "pos": 1, @@ -666,7 +674,8 @@ "name": "list" } }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [], @@ -732,7 +741,8 @@ "type": { "name": "int" }, - "required": true + "required": true, + "unsupported": false } ], "kw": [] @@ -803,7 +813,8 @@ "bound": null, "variance": "INVARIANT" }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [], @@ -815,7 +826,8 @@ "variance": "INVARIANT" } }, - "required": true + "required": true, + "unsupported": false }, { "pos": 1, @@ -833,7 +845,8 @@ "name": "list" } }, - "required": true + "required": true, + "unsupported": false } ], "mixed": [],