@zzzen/pyright-internal 1.2.0-dev.20240616 → 1.2.0-dev.20240630

package/dist/analyzer/cacheManager.js

@@ -88,6 +88,9 @@ class CacheManager {
     }
     // Returns a ratio of used bytes to total bytes.
     getUsedHeapRatio(console) {
+        if (this._pausedCount > 0) {
+            return -1;
+        }
         const heapStats = (0, memUtils_1.getHeapStatistics)();
         let usage = this._getTotalHeapUsage(heapStats);
         if (console && Date.now() - this._lastHeapStats > 1000) {

package/dist/analyzer/cacheManager.js.map

@@ -1 +1 @@
-{"version":3,"file":"cacheManager.js","sourceRoot":"","sources":["../../../../../src/analyzer/cacheManager.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAMH,2CAAuC;AACvC,iDAAuD;AAWvD,MAAa,YAAY;IAOrB,YAA6B,cAAsB,CAAC;QAAvB,gBAAW,GAAX,WAAW,CAAY;QAN5C,iBAAY,GAAG,CAAC,CAAC;QACR,iBAAY,GAAiB,EAAE,CAAC;QAEzC,yBAAoB,GAAG,CAAC,CAAC;QACzB,mBAAc,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAEmB,CAAC;IACxD,kBAAkB,CAAC,QAAoB;QACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED,SAAS,CAAC,KAAa,EAAE,MAAc;QACnC,6DAA6D;QAC7D,8CAA8C;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC5C,IAAI,MAAM,EAAE;YACR,uEAAuE;YACvE,8BAA8B;YAC9B,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC3G,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE;gBACnB,MAAM,IAAI,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;gBACtC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpB,CAAC,CAAC,CAAC;SACN;IACL,CAAC;IAED,8BAA8B,CAAC,GAAoB;QAC/C,IAAI,GAAG,CAAC,WAAW,KAAK,kBAAkB,EAAE;YACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,GAAG,CAAC,iBAAiB,CAAC;YACrC,sDAAsD;YACtD,wDAAwD;YACxD,IAAI,MAAM,IAAI,KAAK,EAAE;gBACjB,IAAI,CAAC,kBAAkB,GAAG,MAAM,CAAC;gBACjC,IAAI,CAAC,oBAAoB,GAAG,KAAK,CAAC;aACrC;SACJ;IACL,CAAC;IAED,oBAAoB,CAAC,QAAoB;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACjE,IAAI,KAAK,GAAG,CAAC,EAAE;YACX,IAAA,YAAI,EAAC,oCAAoC,CAAC,CAAC;SAC9C;aAAM;YACH,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;SACtC;IACL,CAAC;IAED,aAAa;QACT,MAAM,KAAK,GAAG,IAAI,CAAC;QACnB,KAAK,CAAC,YAAY,EAAE,CAAC;QACrB,OAAO;YACH,OAAO;gBACH,KAAK,CAAC,YAAY,EAAE,CAAC;YACzB,CAAC;SACJ,CAAC;IACN,CAAC;IAED,aAAa;QACT,IAAI,IAAI,CAAC,YAAY,GAAG,CAAC,EAAE;YACvB,OAAO,CAAC,CAAC,CAAC;SACb;QAED,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5B,UAAU,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,UAAU,CAAC,OAA0B;QACjC,IAAI,OAAO,EAAE;YACT,MAAM,SAAS,GAAG,IAAA,4BAAiB,GAAE,CAAC;YAEtC,OAAO,CAAC,IAAI,CACR,oDAAoD,IAAI,CAAC,YAAY,CACjE,SAAS,CAAC,cAAc,CAC3B,WAAW,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,eAAe,CAAC,GAAG,CAC9D,CAAC;SACL;QAED,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5B,CAAC,CAAC,UAAU,EAAE,CAAC;QACnB,CAAC,CAAC,CAAC;IACP,CAAC;IAED,gDAAgD;IAChD,gBAAgB,CAAC,OAA0B;QACvC,MAAM,SAAS,GAAG,IAAA,4BAAiB,GAAE,CAAC;QACtC,IAAI,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAE/C,IAAI,OAAO,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,cAAc,GAAG,IAAI,EAAE;YACpD,yEAAyE;YACzE,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CACR,cAAc;gBACV,mBAAmB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI;gBACnE,kBAAkB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI;gBACjE,+BAA+B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI;gBAC3D,uBAAuB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,mBAAmB,CAAC,IAAI;gBAC3E,wBAAwB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,oBAAoB,CAAC,IAAI;gBAC7E,mBAAmB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CACxE,CAAC;SACL;QAED,qEAAqE;QACrE,kDAAkD;QAClD,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC;QAEtB,OAAO,KAAK,GAAG,SAAS,CAAC,eAAe,CAAC;IAC7C,CAAC;IAEO,YAAY,CAAC,KAAa;QAC9B,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC;IAEO,qBAAqB;QACzB,IAAI;YACA,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,WAAW,GAAG,CAAC,EAAE;gBAClD,6DAA6D;gBAC7D,IAAI,CAAC,kBAAkB,GAAG,IAAI,iBAAiB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC;aAC/E;YAED,OAAO,IAAI,CAAC,kBAAkB,CAAC;SAClC;QAAC,MAAM;YACJ,sCAAsC;YACtC,OAAO,SAAS,CAAC;SACpB;IACL,CAAC;IAEO,kBAAkB,CAAC,SAAmB;QAC1C,sEAAsE;QACtE,6CAA6C;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC5C,IAAI,MAAM,EAAE;YACR,MAAM,IAAI,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,SAAS,CAAC,cAAc,CAAC;YAC3D,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;SAC1C;QAED,OAAO,SAAS,CAAC,cAAc,CAAC;IACpC,CAAC;CACJ;AAjJD,oCAiJC;AAED,WAAiB,YAAY;IACzB,SAAgB,EAAE,CAAC,GAAQ;QACvB,OAAO,CACH,GAAG,CAAC,kBAAkB,KAAK,SAAS;YACpC,GAAG,CAAC,oBAAoB,KAAK,SAAS;YACtC,GAAG,CAAC,aAAa,KAAK,SAAS;YAC/B,GAAG,CAAC,aAAa,KAAK,SAAS;YAC/B,GAAG,CAAC,UAAU,KAAK,SAAS;YAC5B,GAAG,CAAC,gBAAgB,KAAK,SAAS,CACrC,CAAC;IACN,CAAC;IATe,eAAE,KASjB,CAAA;AACL,CAAC,EAXgB,YAAY,4BAAZ,YAAY,QAW5B"}
+{"version":3,"file":"cacheManager.js","sourceRoot":"","sources":["../../../../../src/analyzer/cacheManager.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAMH,2CAAuC;AACvC,iDAAuD;AAWvD,MAAa,YAAY;IAOrB,YAA6B,cAAsB,CAAC;QAAvB,gBAAW,GAAX,WAAW,CAAY;QAN5C,iBAAY,GAAG,CAAC,CAAC;QACR,iBAAY,GAAiB,EAAE,CAAC;QAEzC,yBAAoB,GAAG,CAAC,CAAC;QACzB,mBAAc,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAEmB,CAAC;IACxD,kBAAkB,CAAC,QAAoB;QACnC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED,SAAS,CAAC,KAAa,EAAE,MAAc;QACnC,6DAA6D;QAC7D,8CAA8C;QAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC5C,IAAI,MAAM,EAAE;YACR,uEAAuE;YACvE,8BAA8B;YAC9B,MAAM,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAC3G,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE;gBACnB,MAAM,IAAI,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;gBACtC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpB,CAAC,CAAC,CAAC;SACN;IACL,CAAC;IAED,8BAA8B,CAAC,GAAoB;QAC/C,IAAI,GAAG,CAAC,WAAW,KAAK,kBAAkB,EAAE;YACxC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,GAAG,CAAC,iBAAiB,CAAC;YACrC,sDAAsD;YACtD,wDAAwD;YACxD,IAAI,MAAM,IAAI,KAAK,EAAE;gBACjB,IAAI,CAAC,kBAAkB,GAAG,MAAM,CAAC;gBACjC,IAAI,CAAC,oBAAoB,GAAG,KAAK,CAAC;aACrC;SACJ;IACL,CAAC;IAED,oBAAoB,CAAC,QAAoB;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC;QACjE,IAAI,KAAK,GAAG,CAAC,EAAE;YACX,IAAA,YAAI,EAAC,oCAAoC,CAAC,CAAC;SAC9C;aAAM;YACH,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;SACtC;IACL,CAAC;IAED,aAAa;QACT,MAAM,KAAK,GAAG,IAAI,CAAC;QACnB,KAAK,CAAC,YAAY,EAAE,CAAC;QACrB,OAAO;YACH,OAAO;gBACH,KAAK,CAAC,YAAY,EAAE,CAAC;YACzB,CAAC;SACJ,CAAC;IACN,CAAC;IAED,aAAa;QACT,IAAI,IAAI,CAAC,YAAY,GAAG,CAAC,EAAE;YACvB,OAAO,CAAC,CAAC,CAAC;SACb;QAED,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5B,UAAU,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,UAAU,CAAC,OAA0B;QACjC,IAAI,OAAO,EAAE;YACT,MAAM,SAAS,GAAG,IAAA,4BAAiB,GAAE,CAAC;YAEtC,OAAO,CAAC,IAAI,CACR,oDAAoD,IAAI,CAAC,YAAY,CACjE,SAAS,CAAC,cAAc,CAC3B,WAAW,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,eAAe,CAAC,GAAG,CAC9D,CAAC;SACL;QAED,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5B,CAAC,CAAC,UAAU,EAAE,CAAC;QACnB,CAAC,CAAC,CAAC;IACP,CAAC;IAED,gDAAgD;IAChD,gBAAgB,CAAC,OAA0B;QACvC,IAAI,IAAI,CAAC,YAAY,GAAG,CAAC,EAAE;YACvB,OAAO,CAAC,CAAC,CAAC;SACb;QAED,MAAM,SAAS,GAAG,IAAA,4BAAiB,GAAE,CAAC;QACtC,IAAI,KAAK,GAAG,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAE/C,IAAI,OAAO,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,cAAc,GAAG,IAAI,EAAE;YACpD,yEAAyE;YACzE,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CACR,cAAc;gBACV,mBAAmB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI;gBACnE,kBAAkB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI;gBACjE,+BAA+B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI;gBAC3D,uBAAuB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,mBAAmB,CAAC,IAAI;gBAC3E,wBAAwB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,oBAAoB,CAAC,IAAI;gBAC7E,mBAAmB,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CACxE,CAAC;SACL;QAED,qEAAqE;QACrE,kDAAkD;QAClD,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC;QAEtB,OAAO,KAAK,GAAG,SAAS,CAAC,eAAe,CAAC;IAC7C,CAAC;IAEO,YAAY,CAAC,KAAa;QAC9B,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC;IAEO,qBAAqB;QACzB,IAAI;YACA,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,WAAW,GAAG,CAAC,EAAE;gBAClD,6DAA6D;gBAC7D,IAAI,CAAC,kBAAkB,GAAG,IAAI,iBAAiB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC;aAC/E;YAED,OAAO,IAAI,CAAC,kBAAkB,CAAC;SAClC;QAAC,MAAM;YACJ,sCAAsC;YACtC,OAAO,SAAS,CAAC;SACpB;IACL,CAAC;IAEO,kBAAkB,CAAC,SAAmB;QAC1C,sEAAsE;QACtE,6CAA6C;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC5C,IAAI,MAAM,EAAE;YACR,MAAM,IAAI,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,SAAS,CAAC,cAAc,CAAC;YAC3D,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;SAC1C;QAED,OAAO,SAAS,CAAC,cAAc,CAAC;IACpC,CAAC;CACJ;AArJD,oCAqJC;AAED,WAAiB,YAAY;IACzB,SAAgB,EAAE,CAAC,GAAQ;QACvB,OAAO,CACH,GAAG,CAAC,kBAAkB,KAAK,SAAS;YACpC,GAAG,CAAC,oBAAoB,KAAK,SAAS;YACtC,GAAG,CAAC,aAAa,KAAK,SAAS;YAC/B,GAAG,CAAC,aAAa,KAAK,SAAS;YAC/B,GAAG,CAAC,UAAU,KAAK,SAAS;YAC5B,GAAG,CAAC,gBAAgB,KAAK,SAAS,CACrC,CAAC;IACN,CAAC;IATe,eAAE,KASjB,CAAA;AACL,CAAC,EAXgB,YAAY,4BAAZ,YAAY,QAW5B"}

package/dist/analyzer/checker.d.ts

@@ -133,6 +133,8 @@ export declare class Checker extends ParseTreeWalker {
     private _validateMultipleInheritanceBaseClasses;
     private _validateMultipleInheritanceCompatibility;
     private _validateMultipleInheritanceOverride;
+    private _addMultipleInheritanceRelatedInfo;
+    private _validateMultipleInheritancePropertyOverride;
     private _validateOverloadDecoratorConsistency;
     private _validateTypedDictOverrides;
     private _validateBaseClassOverrides;
@@ -140,6 +142,7 @@ export declare class Checker extends ParseTreeWalker {
     private _isMethodExemptFromLsp;
     private _validateOverrideDecoratorNotPresent;
     private _validateBaseClassOverride;
+    private _validatePropertyOverride;
     private _validateMethod;
     private _validateSuperCallForMethod;
     private _validateClsSelfParameterType;

package/dist/analyzer/checker.js

@@ -51,6 +51,7 @@ const parseNodes_1 = require("../parser/parseNodes");
 const stringTokenUtils_1 = require("../parser/stringTokenUtils");
 const AnalyzerNodeInfo = __importStar(require("./analyzerNodeInfo"));
 const constructors_1 = require("./constructors");
+const dataClasses_1 = require("./dataClasses");
 const declaration_1 = require("./declaration");
 const declarationUtils_1 = require("./declarationUtils");
 const deprecatedSymbols_1 = require("./deprecatedSymbols");
@@ -574,7 +575,8 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                 else {
                     let diagAddendum = new diagnostic_1.DiagnosticAddendum();
                     let returnTypeMatches = false;
-                    if (this._evaluator.assignType(declaredReturnType, returnType, diagAddendum, new typeVarContext_1.TypeVarContext(), 
+                    if (this._evaluator.assignType(declaredReturnType, returnType, diagAddendum, 
+                    /* destTypeVarContext */ undefined, 
                     /* srcTypeVarContext */ undefined, 128 /* AssignTypeFlags.AllowBoolTypeGuard */)) {
                         returnTypeMatches = true;
                     }
@@ -2083,82 +2085,91 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
     }
     _reportInvalidOverload(name, symbol) {
         const typedDecls = symbol.getTypedDeclarations();
-        if (typedDecls.length >= 1) {
-            const primaryDecl = typedDecls[0];
-            if (primaryDecl.type === 5 /* DeclarationType.Function */) {
-                const type = this._evaluator.getEffectiveTypeOfSymbol(symbol);
-                const overloadedFunctions = (0, types_1.isOverloadedFunction)(type)
-                    ? types_1.OverloadedFunctionType.getOverloads(type)
-                    : (0, types_1.isFunction)(type) && types_1.FunctionType.isOverloaded(type)
-                        ? [type]
-                        : [];
-                if (overloadedFunctions.length === 1) {
-                    // There should never be a single overload.
-                    this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportInconsistentOverload, localize_1.LocMessage.singleOverload().format({ name }), primaryDecl.node.name);
-                }
-                // If the file is not a stub and this is the first overload,
-                // verify that there is an implementation.
-                if (!this._fileInfo.isStubFile && overloadedFunctions.length > 0) {
-                    let implementationFunction;
-                    let exemptMissingImplementation = false;
-                    if ((0, types_1.isOverloadedFunction)(type)) {
-                        implementationFunction = types_1.OverloadedFunctionType.getImplementation(type);
-                        // If the implementation has no name, it was synthesized probably by a
-                        // decorator that used a callable with a ParamSpec that captured the
-                        // overloaded signature. We'll exempt it from this check.
-                        const overloads = types_1.OverloadedFunctionType.getOverloads(type);
-                        if (overloads.length > 0 && overloads[0].details.name === '') {
-                            exemptMissingImplementation = true;
-                        }
-                    }
-                    else if ((0, types_1.isFunction)(type) && !types_1.FunctionType.isOverloaded(type)) {
-                        implementationFunction = type;
+        if (typedDecls.length === 0) {
+            return;
+        }
+        const primaryDecl = typedDecls[0];
+        if (primaryDecl.type !== 5 /* DeclarationType.Function */) {
+            return;
+        }
+        const type = this._evaluator.getEffectiveTypeOfSymbol(symbol);
+        const overloadedFunctions = (0, types_1.isOverloadedFunction)(type)
+            ? types_1.OverloadedFunctionType.getOverloads(type)
+            : (0, types_1.isFunction)(type) && types_1.FunctionType.isOverloaded(type)
+                ? [type]
+                : [];
+        // If the implementation has no name, it was synthesized probably by a
+        // decorator that used a callable with a ParamSpec that captured the
+        // overloaded signature. We'll exempt it from this check.
+        if ((0, types_1.isOverloadedFunction)(type)) {
+            const overloads = types_1.OverloadedFunctionType.getOverloads(type);
+            if (overloads.length > 0 && overloads[0].details.name === '') {
+                return;
+            }
+        }
+        else if ((0, types_1.isFunction)(type)) {
+            if (type.details.name === '') {
+                return;
+            }
+        }
+        if (overloadedFunctions.length === 1) {
+            // There should never be a single overload.
+            this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportInconsistentOverload, localize_1.LocMessage.singleOverload().format({ name }), primaryDecl.node.name);
+        }
+        // If the file is not a stub and this is the first overload,
+        // verify that there is an implementation.
+        if (this._fileInfo.isStubFile || overloadedFunctions.length === 0) {
+            return;
+        }
+        let implementationFunction;
+        if ((0, types_1.isOverloadedFunction)(type)) {
+            implementationFunction = types_1.OverloadedFunctionType.getImplementation(type);
+        }
+        else if ((0, types_1.isFunction)(type) && !types_1.FunctionType.isOverloaded(type)) {
+            implementationFunction = type;
+        }
+        if (!implementationFunction) {
+            const containingClassNode = ParseTreeUtils.getEnclosingClassOrFunction(primaryDecl.node);
+            if (containingClassNode && containingClassNode.nodeType === 10 /* ParseNodeType.Class */) {
+                const classType = this._evaluator.getTypeOfClass(containingClassNode);
+                if (classType) {
+                    if (types_1.ClassType.isProtocolClass(classType.classType)) {
+                        return;
                     }
-                    if (!implementationFunction) {
-                        const containingClassNode = ParseTreeUtils.getEnclosingClassOrFunction(primaryDecl.node);
-                        if (containingClassNode && containingClassNode.nodeType === 10 /* ParseNodeType.Class */) {
-                            const classType = this._evaluator.getTypeOfClass(containingClassNode);
-                            if (classType) {
-                                if (types_1.ClassType.isProtocolClass(classType.classType)) {
-                                    exemptMissingImplementation = true;
-                                }
-                                else if (types_1.ClassType.supportsAbstractMethods(classType.classType)) {
-                                    if ((0, types_1.isOverloadedFunction)(type) &&
-                                        types_1.OverloadedFunctionType.getOverloads(type).every((overload) => types_1.FunctionType.isAbstractMethod(overload))) {
-                                        exemptMissingImplementation = true;
-                                    }
-                                }
-                            }
-                        }
-                        // If this is a method within a protocol class, don't require that
-                        // there is an implementation.
-                        if (!exemptMissingImplementation) {
-                            this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportNoOverloadImplementation, localize_1.LocMessage.overloadWithoutImplementation().format({
-                                name: primaryDecl.node.name.value,
-                            }), primaryDecl.node.name);
+                    if (types_1.ClassType.supportsAbstractMethods(classType.classType)) {
+                        if ((0, types_1.isOverloadedFunction)(type) &&
+                            types_1.OverloadedFunctionType.getOverloads(type).every((overload) => types_1.FunctionType.isAbstractMethod(overload))) {
+                            return;
                         }
                     }
-                    else if ((0, types_1.isOverloadedFunction)(type)) {
-                        // Verify that all overload signatures are assignable to implementation signature.
-                        types_1.OverloadedFunctionType.getOverloads(type).forEach((overload, index) => {
-                            var _a, _b, _c, _d;
-                            const diag = new diagnostic_1.DiagnosticAddendum();
-                            if (!this._isLegalOverloadImplementation(overload, implementationFunction, diag)) {
-                                if (implementationFunction.details.declaration) {
-                                    const diagnostic = this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportInconsistentOverload, localize_1.LocMessage.overloadImplementationMismatch().format({
-                                        name,
-                                        index: index + 1,
-                                    }) + diag.getString(), implementationFunction.details.declaration.node.name);
-                                    if (diagnostic && overload.details.declaration) {
-                                        diagnostic.addRelatedInfo(localize_1.LocAddendum.overloadSignature(), (_b = (_a = overload.details.declaration) === null || _a === void 0 ? void 0 : _a.uri) !== null && _b !== void 0 ? _b : primaryDecl.uri, (_d = (_c = overload.details.declaration) === null || _c === void 0 ? void 0 : _c.range) !== null && _d !== void 0 ? _d : primaryDecl.range);
-                                    }
-                                }
-                            }
-                        });
-                    }
                 }
             }
+            // If this is a method within a protocol class, don't require that
+            // there is an implementation.
+            this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportNoOverloadImplementation, localize_1.LocMessage.overloadWithoutImplementation().format({
+                name: primaryDecl.node.name.value,
+            }), primaryDecl.node.name);
+            return;
+        }
+        if (!(0, types_1.isOverloadedFunction)(type)) {
+            return;
         }
+        // Verify that all overload signatures are assignable to implementation signature.
+        types_1.OverloadedFunctionType.getOverloads(type).forEach((overload, index) => {
+            var _a, _b, _c, _d;
+            const diag = new diagnostic_1.DiagnosticAddendum();
+            if (!this._isLegalOverloadImplementation(overload, implementationFunction, diag)) {
+                if (implementationFunction.details.declaration) {
+                    const diagnostic = this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportInconsistentOverload, localize_1.LocMessage.overloadImplementationMismatch().format({
+                        name,
+                        index: index + 1,
+                    }) + diag.getString(), implementationFunction.details.declaration.node.name);
+                    if (diagnostic && overload.details.declaration) {
+                        diagnostic.addRelatedInfo(localize_1.LocAddendum.overloadSignature(), (_b = (_a = overload.details.declaration) === null || _a === void 0 ? void 0 : _a.uri) !== null && _b !== void 0 ? _b : primaryDecl.uri, (_d = (_c = overload.details.declaration) === null || _c === void 0 ? void 0 : _c.range) !== null && _d !== void 0 ? _d : primaryDecl.range);
+                    }
+                }
+            }
+        });
     }
     _reportMultipleFinalDeclarations(name, symbol, scopeType) {
         if (!this._evaluator.isFinalVariable(symbol)) {
@@ -3758,6 +3769,12 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
         if (types_1.ClassType.isFinal(classType)) {
             (0, typeUtils_1.getProtocolSymbolsRecursive)(classType, abstractSymbols, 64 /* ClassTypeFlags.SupportsAbstractMethods */);
         }
+        // If this is a dataclass, get all of the entries so we can tell which
+        // ones are initialized by the synthesized __init__ method.
+        const dataClassEntries = [];
+        if (types_1.ClassType.isDataClass(classType)) {
+            (0, dataClasses_1.addInheritedDataClassEntries)(classType, dataClassEntries);
+        }
         types_1.ClassType.getSymbolTable(classType).forEach((localSymbol, name) => {
             abstractSymbols.delete(name);
             // This applies only to instance members.
@@ -3783,10 +3800,10 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                         ((_c = decl.node.parent.parent) === null || _c === void 0 ? void 0 : _c.nodeType) === 3 /* ParseNodeType.Assignment */) {
                         return true;
                     }
-                    // If this is part of a dataclass or a class handled by a dataclass_transform,
-                    // exempt it because the class variable will be transformed into an instance
-                    // variable in this case.
-                    if (types_1.ClassType.isDataClass(classType)) {
+                    // If this is part of a dataclass, a class handled by a dataclass_transform,
+                    // or a NamedTuple, exempt it because the class variable will be transformed
+                    // into an instance variable in this case.
+                    if (types_1.ClassType.isDataClass(classType) || types_1.ClassType.isReadOnlyInstanceVariables(classType)) {
                         return true;
                     }
                     // If this is part of a TypedDict, exempt it because the class variables
@@ -3819,18 +3836,27 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             if (decls.length === 0 || !(0, types_1.isClass)(member.classType)) {
                 return;
             }
-            if (decls[0].type === 1 /* DeclarationType.Variable */) {
-                // If none of the declarations involve assignments, assume it's
-                // not implemented in the protocol.
-                if (!decls.some((decl) => decl.type === 1 /* DeclarationType.Variable */ && !!decl.inferredTypeSource)) {
-                    // This is a variable declaration that is not implemented in the
-                    // protocol base class. Make sure it's implemented in the derived class.
-                    diagAddendum.addMessage(localize_1.LocAddendum.uninitializedAbstractVariable().format({
-                        name,
-                        classType: member.classType.details.name,
-                    }));
+            if (decls[0].type !== 1 /* DeclarationType.Variable */) {
+                return;
+            }
+            // Dataclass fields are typically exempted from this check because
+            // they have synthesized __init__ methods that initialize these variables.
+            const dcEntry = dataClassEntries === null || dataClassEntries === void 0 ? void 0 : dataClassEntries.find((entry) => entry.name === name);
+            if (dcEntry) {
+                if (dcEntry.includeInInit) {
+                    return;
+                }
+            }
+            else {
+                // Do one or more declarations involve assignments?
+                if (decls.some((decl) => decl.type === 1 /* DeclarationType.Variable */ && !!decl.inferredTypeSource)) {
+                    return;
                 }
             }
+            diagAddendum.addMessage(localize_1.LocAddendum.uninitializedAbstractVariable().format({
+                name,
+                classType: member.classType.details.name,
+            }));
         });
         if (!diagAddendum.isEmpty()) {
             this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportUninitializedInstanceVariable, localize_1.LocMessage.uninitializedAbstractVariables().format({ classType: classType.details.name }) +
@@ -4216,7 +4242,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                 }
             }
             else {
-                // TODO - check types of property methods fget, fset, fdel.
+                this._validateMultipleInheritancePropertyOverride(overriddenClassAndSymbol.classType, childClassType, overriddenType, overrideType, overrideSymbol, memberName, errorNode);
             }
         }
         else {
@@ -4283,15 +4309,76 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             }
         }
         if (diag && overrideDecl && overriddenDecl) {
-            diag.addRelatedInfo(localize_1.LocAddendum.baseClassOverriddenType().format({
-                baseClass: this._evaluator.printType((0, typeUtils_1.convertToInstance)(overriddenClassAndSymbol.classType)),
-                type: this._evaluator.printType(overriddenType),
-            }), overriddenDecl.uri, overriddenDecl.range);
-            diag.addRelatedInfo(localize_1.LocAddendum.baseClassOverridesType().format({
-                baseClass: this._evaluator.printType((0, typeUtils_1.convertToInstance)(overrideClassAndSymbol.classType)),
-                type: this._evaluator.printType(overrideType),
-            }), overrideDecl.uri, overrideDecl.range);
-        }
+            this._addMultipleInheritanceRelatedInfo(diag, overriddenClassAndSymbol.classType, overriddenType, overriddenDecl, overrideClassAndSymbol.classType, overrideType, overrideDecl);
+        }
+    }
+    _addMultipleInheritanceRelatedInfo(diag, overriddenClass, overriddenType, overriddenDecl, overrideClass, overrideType, overrideDecl) {
+        diag.addRelatedInfo(localize_1.LocAddendum.baseClassOverriddenType().format({
+            baseClass: this._evaluator.printType((0, typeUtils_1.convertToInstance)(overriddenClass)),
+            type: this._evaluator.printType(overriddenType),
+        }), overriddenDecl.uri, overriddenDecl.range);
+        diag.addRelatedInfo(localize_1.LocAddendum.baseClassOverridesType().format({
+            baseClass: this._evaluator.printType((0, typeUtils_1.convertToInstance)(overrideClass)),
+            type: this._evaluator.printType(overrideType),
+        }), overrideDecl.uri, overrideDecl.range);
+    }
+    _validateMultipleInheritancePropertyOverride(overriddenClassType, overrideClassType, overriddenSymbolType, overrideSymbolType, overrideSymbol, memberName, errorNode) {
+        const propMethodInfo = [
+            ['fget', (c) => { var _a; return (_a = c.fgetInfo) === null || _a === void 0 ? void 0 : _a.methodType; }],
+            ['fset', (c) => { var _a; return (_a = c.fsetInfo) === null || _a === void 0 ? void 0 : _a.methodType; }],
+            ['fdel', (c) => { var _a; return (_a = c.fdelInfo) === null || _a === void 0 ? void 0 : _a.methodType; }],
+        ];
+        propMethodInfo.forEach((info) => {
+            const diagAddendum = new diagnostic_1.DiagnosticAddendum();
+            const [methodName, methodAccessor] = info;
+            const baseClassPropMethod = methodAccessor(overriddenSymbolType);
+            const subclassPropMethod = methodAccessor(overrideSymbolType);
+            // Is the method present on the base class but missing in the subclass?
+            if (baseClassPropMethod) {
+                const baseClassMethodType = (0, typeUtils_1.partiallySpecializeType)(baseClassPropMethod, overriddenClassType);
+                if ((0, types_1.isFunction)(baseClassMethodType)) {
+                    if (!subclassPropMethod) {
+                        // The method is missing.
+                        diagAddendum.addMessage(localize_1.LocAddendum.propertyMethodMissing().format({
+                            name: methodName,
+                        }));
+                        const decls = overrideSymbol.getDeclarations();
+                        if (decls.length > 0) {
+                            const lastDecl = decls[decls.length - 1];
+                            const diag = this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportIncompatibleMethodOverride, localize_1.LocMessage.propertyOverridden().format({
+                                name: memberName,
+                                className: overriddenClassType.details.name,
+                            }) + diagAddendum.getString(), errorNode);
+                            const origDecl = baseClassMethodType.details.declaration;
+                            if (diag && origDecl) {
+                                this._addMultipleInheritanceRelatedInfo(diag, overriddenClassType, overriddenSymbolType, origDecl, overrideClassType, overrideSymbolType, lastDecl);
+                            }
+                        }
+                    }
+                    else {
+                        const subclassMethodType = (0, typeUtils_1.partiallySpecializeType)(subclassPropMethod, overrideClassType);
+                        if ((0, types_1.isFunction)(subclassMethodType)) {
+                            if (!this._evaluator.validateOverrideMethod(baseClassMethodType, subclassMethodType, overrideClassType, diagAddendum.createAddendum())) {
+                                diagAddendum.addMessage(localize_1.LocAddendum.propertyMethodIncompatible().format({
+                                    name: methodName,
+                                }));
+                                const decl = subclassMethodType.details.declaration;
+                                if (decl && decl.type === 5 /* DeclarationType.Function */) {
+                                    const diag = this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportIncompatibleMethodOverride, localize_1.LocMessage.propertyOverridden().format({
+                                        name: memberName,
+                                        className: overriddenClassType.details.name,
+                                    }) + diagAddendum.getString(), errorNode);
+                                    const origDecl = baseClassMethodType.details.declaration;
+                                    if (diag && origDecl) {
+                                        this._addMultipleInheritanceRelatedInfo(diag, overriddenClassType, overriddenSymbolType, origDecl, overrideClassType, overrideSymbolType, decl);
+                                    }
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+        });
     }
     // Validates that any overloaded methods are consistent in how they
     // are decorated. For example, if the first overload is not marked @final
@@ -4653,64 +4740,7 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
                 }
             }
             else {
-                const baseClassType = baseClass;
-                const propMethodInfo = [
-                    ['fget', (c) => { var _a; return (_a = c.fgetInfo) === null || _a === void 0 ? void 0 : _a.methodType; }],
-                    ['fset', (c) => { var _a; return (_a = c.fsetInfo) === null || _a === void 0 ? void 0 : _a.methodType; }],
-                    ['fdel', (c) => { var _a; return (_a = c.fdelInfo) === null || _a === void 0 ? void 0 : _a.methodType; }],
-                ];
-                propMethodInfo.forEach((info) => {
-                    var _a;
-                    const diagAddendum = new diagnostic_1.DiagnosticAddendum();
-                    const [methodName, methodAccessor] = info;
-                    const baseClassPropMethod = methodAccessor(baseType);
-                    const subclassPropMethod = methodAccessor(overrideType);
-                    // Is the method present on the base class but missing in the subclass?
-                    if (baseClassPropMethod) {
-                        const baseClassMethodType = (0, typeUtils_1.partiallySpecializeType)(baseClassPropMethod, baseClassType);
-                        if ((0, types_1.isFunction)(baseClassMethodType)) {
-                            if (!subclassPropMethod) {
-                                // The method is missing.
-                                diagAddendum.addMessage(localize_1.LocAddendum.propertyMethodMissing().format({
-                                    name: methodName,
-                                }));
-                                const decls = overrideSymbol.getDeclarations();
-                                if (decls.length > 0) {
-                                    const lastDecl = decls[decls.length - 1];
-                                    const diag = this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportIncompatibleMethodOverride, localize_1.LocMessage.propertyOverridden().format({
-                                        name: memberName,
-                                        className: baseClassType.details.name,
-                                    }) + diagAddendum.getString(), (_a = (0, declarationUtils_1.getNameNodeForDeclaration)(lastDecl)) !== null && _a !== void 0 ? _a : lastDecl.node);
-                                    const origDecl = baseClassMethodType.details.declaration;
-                                    if (diag && origDecl) {
-                                        diag.addRelatedInfo(localize_1.LocAddendum.overriddenMethod(), origDecl.uri, origDecl.range);
-                                    }
-                                }
-                            }
-                            else {
-                                const subclassMethodType = (0, typeUtils_1.partiallySpecializeType)(subclassPropMethod, childClassType);
-                                if ((0, types_1.isFunction)(subclassMethodType)) {
-                                    if (!this._evaluator.validateOverrideMethod(baseClassMethodType, subclassMethodType, childClassType, diagAddendum.createAddendum())) {
-                                        diagAddendum.addMessage(localize_1.LocAddendum.propertyMethodIncompatible().format({
-                                            name: methodName,
-                                        }));
-                                        const decl = subclassMethodType.details.declaration;
-                                        if (decl && decl.type === 5 /* DeclarationType.Function */) {
-                                            const diag = this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportIncompatibleMethodOverride, localize_1.LocMessage.propertyOverridden().format({
-                                                name: memberName,
-                                                className: baseClassType.details.name,
-                                            }) + diagAddendum.getString(), decl.node.name);
-                                            const origDecl = baseClassMethodType.details.declaration;
-                                            if (diag && origDecl) {
-                                                diag.addRelatedInfo(localize_1.LocAddendum.overriddenMethod(), origDecl.uri, origDecl.range);
-                                            }
-                                        }
-                                    }
-                                }
-                            }
-                        }
-                    }
-                });
+                this._validatePropertyOverride(baseClass, childClassType, baseType, overrideType, overrideSymbol, memberName);
             }
         }
         else {
@@ -4851,6 +4881,65 @@ class Checker extends parseTreeWalker_1.ParseTreeWalker {
             }
         }
     }
+    _validatePropertyOverride(baseClassType, childClassType, baseType, childType, overrideSymbol, memberName) {
+        const propMethodInfo = [
+            ['fget', (c) => { var _a; return (_a = c.fgetInfo) === null || _a === void 0 ? void 0 : _a.methodType; }],
+            ['fset', (c) => { var _a; return (_a = c.fsetInfo) === null || _a === void 0 ? void 0 : _a.methodType; }],
+            ['fdel', (c) => { var _a; return (_a = c.fdelInfo) === null || _a === void 0 ? void 0 : _a.methodType; }],
+        ];
+        propMethodInfo.forEach((info) => {
+            var _a;
+            const diagAddendum = new diagnostic_1.DiagnosticAddendum();
+            const [methodName, methodAccessor] = info;
+            const baseClassPropMethod = methodAccessor(baseType);
+            const subclassPropMethod = methodAccessor(childType);
+            // Is the method present on the base class but missing in the subclass?
+            if (baseClassPropMethod) {
+                const baseClassMethodType = (0, typeUtils_1.partiallySpecializeType)(baseClassPropMethod, baseClassType);
+                if ((0, types_1.isFunction)(baseClassMethodType)) {
+                    if (!subclassPropMethod) {
+                        // The method is missing.
+                        diagAddendum.addMessage(localize_1.LocAddendum.propertyMethodMissing().format({
+                            name: methodName,
+                        }));
+                        const decls = overrideSymbol.getDeclarations();
+                        if (decls.length > 0) {
+                            const lastDecl = decls[decls.length - 1];
+                            const diag = this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportIncompatibleMethodOverride, localize_1.LocMessage.propertyOverridden().format({
+                                name: memberName,
+                                className: baseClassType.details.name,
+                            }) + diagAddendum.getString(), (_a = (0, declarationUtils_1.getNameNodeForDeclaration)(lastDecl)) !== null && _a !== void 0 ? _a : lastDecl.node);
+                            const origDecl = baseClassMethodType.details.declaration;
+                            if (diag && origDecl) {
+                                diag.addRelatedInfo(localize_1.LocAddendum.overriddenMethod(), origDecl.uri, origDecl.range);
+                            }
+                        }
+                    }
+                    else {
+                        const subclassMethodType = (0, typeUtils_1.partiallySpecializeType)(subclassPropMethod, childClassType);
+                        if ((0, types_1.isFunction)(subclassMethodType)) {
+                            if (!this._evaluator.validateOverrideMethod(baseClassMethodType, subclassMethodType, childClassType, diagAddendum.createAddendum())) {
+                                diagAddendum.addMessage(localize_1.LocAddendum.propertyMethodIncompatible().format({
+                                    name: methodName,
+                                }));
+                                const decl = subclassMethodType.details.declaration;
+                                if (decl && decl.type === 5 /* DeclarationType.Function */) {
+                                    const diag = this._evaluator.addDiagnostic(diagnosticRules_1.DiagnosticRule.reportIncompatibleMethodOverride, localize_1.LocMessage.propertyOverridden().format({
+                                        name: memberName,
+                                        className: baseClassType.details.name,
+                                    }) + diagAddendum.getString(), decl.node.name);
+                                    const origDecl = baseClassMethodType.details.declaration;
+                                    if (diag && origDecl) {
+                                        diag.addRelatedInfo(localize_1.LocAddendum.overriddenMethod(), origDecl.uri, origDecl.range);
+                                    }
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+        });
+    }
     // Performs checks on a function that is located within a class
     // and has been determined not to be a property accessor.
     _validateMethod(node, functionType, classNode) {