@zzzen/pyright-internal 1.2.0-dev.20220925 → 1.2.0-dev.20221002

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (42) hide show
  1. package/dist/analyzer/analyzerFileInfo.d.ts +1 -1
  2. package/dist/analyzer/analyzerFileInfo.js +1 -1
  3. package/dist/analyzer/analyzerFileInfo.js.map +1 -1
  4. package/dist/analyzer/binder.js +23 -23
  5. package/dist/analyzer/binder.js.map +1 -1
  6. package/dist/analyzer/checker.d.ts +1 -0
  7. package/dist/analyzer/checker.js +17 -0
  8. package/dist/analyzer/checker.js.map +1 -1
  9. package/dist/analyzer/codeFlowEngine.d.ts +2 -0
  10. package/dist/analyzer/codeFlowEngine.js +10 -4
  11. package/dist/analyzer/codeFlowEngine.js.map +1 -1
  12. package/dist/analyzer/program.js +19 -19
  13. package/dist/analyzer/program.js.map +1 -1
  14. package/dist/analyzer/sourceFile.js +1 -1
  15. package/dist/analyzer/sourceFile.js.map +1 -1
  16. package/dist/analyzer/typeEvaluator.js +10 -2
  17. package/dist/analyzer/typeEvaluator.js.map +1 -1
  18. package/dist/analyzer/typeEvaluatorTypes.d.ts +5 -0
  19. package/dist/analyzer/typeEvaluatorTypes.js.map +1 -1
  20. package/dist/analyzer/typeStubWriter.js +6 -6
  21. package/dist/analyzer/typeStubWriter.js.map +1 -1
  22. package/dist/analyzer/typedDicts.js +6 -6
  23. package/dist/analyzer/typedDicts.js.map +1 -1
  24. package/dist/analyzer/types.js +1 -1
  25. package/dist/analyzer/types.js.map +1 -1
  26. package/dist/commands/commandController.d.ts +1 -0
  27. package/dist/commands/commandController.js +5 -0
  28. package/dist/commands/commandController.js.map +1 -1
  29. package/dist/commands/commands.d.ts +7 -1
  30. package/dist/commands/commands.js +6 -0
  31. package/dist/commands/commands.js.map +1 -1
  32. package/dist/commands/dumpFileDebugInfoCommand.d.ts +8 -0
  33. package/dist/commands/dumpFileDebugInfoCommand.js +983 -0
  34. package/dist/commands/dumpFileDebugInfoCommand.js.map +1 -0
  35. package/dist/parser/parser.d.ts +2 -2
  36. package/dist/parser/parser.js +19 -19
  37. package/dist/parser/parser.js.map +1 -1
  38. package/dist/tests/testUtils.js +1 -1
  39. package/dist/tests/testUtils.js.map +1 -1
  40. package/dist/tests/typeEvaluator3.test.js +4 -0
  41. package/dist/tests/typeEvaluator3.test.js.map +1 -1
  42. package/package.json +1 -1
@@ -203,6 +203,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
203
203
  this._validateFinalClassNotAbstract(classTypeResult.classType, node);
204
204
  this._validateDataClassPostInit(classTypeResult.classType, node);
205
205
  this._validateProtocolCompatibility(classTypeResult.classType, node);
206
+ this._validateInitSubclassArgs(classTypeResult.classType, node);
206
207
  this._reportDuplicateEnumMembers(classTypeResult.classType);
207
208
  if (types_1.ClassType.isTypedDictClass(classTypeResult.classType)) {
208
209
  this._validateTypedDictClassSuite(node.suite);
@@ -2720,6 +2721,22 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
2720
2721
  }
2721
2722
  });
2722
2723
  }
2724
+ _validateInitSubclassArgs(classType, node) {
2725
+ const argList = [];
2726
+ // Collect arguments that will be passed to the `__init_subclass__`
2727
+ // method described in PEP 487.
2728
+ node.arguments.forEach((arg) => {
2729
+ if (arg.name && arg.name.value !== 'metaclass') {
2730
+ argList.push({
2731
+ argumentCategory: 0 /* Simple */,
2732
+ node: arg,
2733
+ name: arg.name,
2734
+ valueExpression: arg.valueExpression,
2735
+ });
2736
+ }
2737
+ });
2738
+ this._evaluator.validateInitSubclassArgs(node, classType, argList);
2739
+ }
2723
2740
  // If a non-protocol class explicitly inherits from a protocol class, this method
2724
2741
  // verifies that any class or instance variables declared but not assigned
2725
2742
  // in the protocol class are implemented in the subclass. It also checks that any