@zzzen/pyright-internal 1.2.0-dev.20240811 → 1.2.0-dev.20240825

package/dist/localization/package.nls.ru.json

@@ -167,7 +167,7 @@
         "expectedAsAfterException": "Ожидается \"as\" после типа исключения",
         "expectedAssignRightHandExpr": "Справа от \"=\" ожидается выражение",
         "expectedBinaryRightHandExpr": "Справа от оператора ожидается выражение",
-        "expectedBoolLiteral": "Ожидается ИСТИНА или ЛОЖЬ",
+        "expectedBoolLiteral": "Ожидается True или False",
         "expectedCase": "Ожидается оператор case",
         "expectedClassName": "Ожидается имя класса",
         "expectedCloseBrace": "Для скобки \"{\" отсутствует закрывающая скобка",
@@ -211,6 +211,7 @@
         "expectedYieldExpr": "Ожидаемое выражение в операторе yield",
         "finalClassIsAbstract": "Класс \"{type}\" помечен как final (окончательный) и должен реализовать все абстрактные символы.",
         "finalContext": "\"Final\" не допускается в данном контексте",
+        "finalInLoop": "Переменная \"Final\" не может быть назначена внутри цикла",
         "finalMethodOverride": "Метод \"{name}\" не может переопределять окончательный метод, определенный в классе \"{className}\"",
         "finalNonMethod": "Функцию \"{name}\" нельзя пометить как @окончательную, так как она не является методом",
         "finalReassigned": "\"{name}\" объявляется окончательным и не может быть переназначено",
@@ -275,6 +276,7 @@
         "isSubclassInvalidType": "Второй аргумент в \"issubclass\" должен быть классом или кортежем классов",
         "keyValueInSet": "Пары \"ключ-значение\" не допускаются в наборе",
         "keywordArgInTypeArgument": "Аргументы ключевых слов нельзя использовать в списках аргументов типа",
+        "keywordArgShortcutIllegal": "Ярлык аргумента ключевого слова требует Python 3.14 или более поздней версии",
         "keywordOnlyAfterArgs": "Разделитель аргументов типа \"только ключевое слово\" не разрешен после параметра \"*\"",
         "keywordParameterMissing": "За параметром \"*\" должен следовать один или несколько параметров ключевого слова.",
         "keywordSubscriptIllegal": "Аргументы ключевых слов в нижних индексах не поддерживаются",
@@ -354,7 +356,8 @@
         "orPatternMissingName": "Все вложенные шаблоны в шаблоне \"or\" должны быть привязаны к одним и тем же именам",
         "overlappingKeywordArgs": "Типизированный словарь перекрывается с параметром ключевого слова: {names}",
         "overlappingOverload": "Перегрузка {obscured} для \"{name}\" никогда не будет использоваться, так как ее параметры перекрывают перегрузку {obscuredBy}",
-        "overloadAbstractMismatch": "Все перегруженные методы должны быть абстрактными или не абстрактными",
+        "overloadAbstractImplMismatch": "Overloads must match abstract status of implementation",
+        "overloadAbstractMismatch": "Overloads must all be abstract or not",
         "overloadClassMethodInconsistent": "Перегрузки для \"{name}\" используют @classmethod несогласованно",
         "overloadFinalInconsistencyImpl": "Перегрузка для \"{name}\" помечена как @окончательная, но реализация — нет",
         "overloadFinalInconsistencyNoImpl": "Перегрузка {index} для \"{name}\" помечена как @окончательная, но перегрузка 1 — нет",
@@ -526,6 +529,7 @@
         "typeVarDefaultIllegal": "Для типов переменных по умолчанию требуется версия Python 3.13 или более новая",
         "typeVarDefaultInvalidTypeVar": "Параметр типа \"{name}\" имеет тип по умолчанию, который ссылается на одну или несколько переменных типа, находящихся вне области",
         "typeVarFirstArg": "В качестве первого аргумента ожидалось имя TypeVar",
+        "typeVarInvalidForMemberVariable": "Тип атрибута не может использовать переменную \"{name}\" в локальном методе",
         "typeVarNoMember": "У TypeVar \"{type}\" нет атрибута \"{name}\"",
         "typeVarNotSubscriptable": "Невозможно взять подстроку от \"{type}\" TypeVar",
         "typeVarNotUsedByOuterScope": "Переменная типа \"{name}\" не имеет смысла в этом контексте",
@@ -608,6 +612,7 @@
         "unpackedTypeVarTupleExpected": "Ожидается распакованный TypeVarTuple; используйте Unpack[{name1}] или *{name2}",
         "unpackedTypedDictArgument": "Не удалось сопоставить распакованный аргумент TypedDict с параметрами",
         "unreachableCode": "Код недоступен",
+        "unreachableCodeType": "Анализ типа показывает, что код недоступен",
         "unreachableExcept": "Предложение Except недоступно, так как исключение уже обработано",
         "unsupportedDunderAllOperation": "Операция на \"__all__\" не поддерживается, поэтому список экспортируемых символов может быть неправильным",
         "unusedCallResult": "Результат выражения вызова принадлежит к типу \"{type}\" и не используется. Назначьте переменной \"_\", если это сделано намеренно",
@@ -683,12 +688,12 @@
         "memberIsAbstract": "Отсутствует реализация \"{type}.{name}\".",
         "memberIsAbstractMore": "и еще {{count}}",
         "memberIsClassVarInProtocol": "\"{name}\" определено как класс ClassVar в протоколе",
-        "memberIsFinalInProtocol": "\"{name}\" помечено в протоколе как Final",
         "memberIsInitVar": "\"{name}\" является полем только для инициализации",
         "memberIsInvariant": "Элемент \"{name}\" инвариантен, поскольку помечен как mutable",
         "memberIsNotClassVarInClass": "Необходимо определить \"{name}\" как ClassVar для совместимости с протоколом.",
         "memberIsNotClassVarInProtocol": "\"{name}\" не определено как класс ClassVar в протоколе",
-        "memberIsNotFinalInProtocol": "\"{name}\" не помечен как окончательный в протоколе",
+        "memberIsNotReadOnlyInProtocol": "\"{name}\" is not read-only in protocol",
+        "memberIsReadOnlyInProtocol": "\"{name}\" is read-only in protocol",
         "memberIsWritableInProtocol": "\"{name}\" доступно для записи в протоколе",
         "memberSetClassVar": "Атрибут \"{name}\" не может быть назначен через экземпляр класса, так как это ClassVar",
         "memberTypeMismatch": "\"{name}\" является несовместимым типом",

package/dist/localization/package.nls.tr.json

@@ -211,6 +211,7 @@
         "expectedYieldExpr": "Yield deyiminde ifade bekleniyordu",
         "finalClassIsAbstract": "\"{type}\" sınıfı son olarak işaretlendi ve tüm soyut sembolleri uygulamalıdır",
         "finalContext": "Bu bağlamda \"Final\" kullanılamaz",
+        "finalInLoop": "Bir döngü içinde “Son” değişkeni atanamaz",
         "finalMethodOverride": "\"{name}\" yöntemi \"{className}\" sınıfı içinde tanımlanan final metodu geçersiz kılamaz",
         "finalNonMethod": "\"{name}\" işlevi bir yöntem olmadığından @final olarak işaretlenemez",
         "finalReassigned": "\"{name}\" Son olarak bildirildi ve yeniden atanamaz",
@@ -275,6 +276,7 @@
         "isSubclassInvalidType": "\"issubclass\" için ikinci bağımsız değişken bir sınıf veya sınıflar demeti olmalıdır",
         "keyValueInSet": "Küme içinde anahtar/değer çiftlerine izin verilmiyor",
         "keywordArgInTypeArgument": "Anahtar sözcük bağımsız değişkenleri tür bağımsız değişken listelerinde kullanılamaz",
+        "keywordArgShortcutIllegal": "Anahtar sözcük bağımsız değişkeni kısayolu için Python 3.14 veya daha yenisini gereklidir.",
         "keywordOnlyAfterArgs": "\"*\" parametresinden sonra keyword-only bağımsız değişken ayırıcısı kullanılamaz",
         "keywordParameterMissing": "Bir veya daha fazla anahtar sözcük parametresi \"*\" parametresini izlemeli",
         "keywordSubscriptIllegal": "Alt simge içindeki anahtar sözcük bağımsız değişkenleri desteklenmiyor",
@@ -354,7 +356,8 @@
         "orPatternMissingName": "Bir \"or\" deseni içindeki tüm alt desenlerde aynı adlar hedeflenmeli",
         "overlappingKeywordArgs": "Türü belirlenmiş sözlük anahtar sözcük parametresiyle çakışıyor: {names}",
         "overlappingOverload": "Parametreleri {obscuredBy} aşırı yüklemesi ile çakıştığından \"{name}\" {obscured} aşırı yüklemesi hiçbir zaman kullanılmayacak",
-        "overloadAbstractMismatch": "Aşırı yüklenmiş metotların tümü soyut olmalı veya tümü olmamalıdır",
+        "overloadAbstractImplMismatch": "Overloads must match abstract status of implementation",
+        "overloadAbstractMismatch": "Overloads must all be abstract or not",
         "overloadClassMethodInconsistent": "\"{name}\" için aşırı yüklemeler, @classmethod yöntemini tutarlı kullanıyor",
         "overloadFinalInconsistencyImpl": "\"{name}\" için aşırı yükleme @final olarak işaretlendi ancak uygulama işaretlenmedi",
         "overloadFinalInconsistencyNoImpl": "\"{name}\" için aşırı yükleme {index} @final olarak işaretlendi ancak aşırı yükleme 1 işaretlenmedi",
@@ -526,6 +529,7 @@
         "typeVarDefaultIllegal": "Tür değişkeni varsayılan türleri Python 3.13 veya daha yeni bir sürüm gerektirir",
         "typeVarDefaultInvalidTypeVar": "\"{name}\" tür parametresi, kapsam dışı bir veya daha fazla tür değişkenine başvuran varsayılan bir türe sahip",
         "typeVarFirstArg": "İlk bağımsız değişken olarak TypeVar adı bekleniyordu",
+        "typeVarInvalidForMemberVariable": "Öznitelik türü, yerel yöntem kapsamına alınan \"{name}\" tür değişkenini kullanamaz",
         "typeVarNoMember": "TypeVar \"{type}\", \"{name}\" özniteliğine sahip değil",
         "typeVarNotSubscriptable": "TypeVar \"{type}\" alt yazılabilir değil",
         "typeVarNotUsedByOuterScope": "\"{name}\" tür değişkeni bu bağlamda bir anlam ifade etmiyor",
@@ -608,6 +612,7 @@
         "unpackedTypeVarTupleExpected": "Paketlenmemiş TypeVarTuple bekleniyordu; Unpack[{name1}] veya *{name2} kullanın",
         "unpackedTypedDictArgument": "Paketlenmemiş TypedDict bağımsız değişkeni parametrelerle eşlenemiyor",
         "unreachableCode": "Koda ulaşılamıyor",
+        "unreachableCodeType": "Tür analizi koda erişilemediğini gösteriyor",
         "unreachableExcept": "Özel durum zaten işlenmiş olduğundan özel durum yan tümcesi erişilebilir değil",
         "unsupportedDunderAllOperation": "\"__all__\" üzerinde işlem desteklenmiyor, bu nedenle dışarı aktarılan sembol listesi yanlış olabilir",
         "unusedCallResult": "Çağrı ifadesinin sonucu \"{type}\" türünde ve kullanılmıyor; bilerek yapıldıysa \"_\" değişkenine atayın",
@@ -683,12 +688,12 @@
         "memberIsAbstract": "\"{type}.{name}\" uygulanmadı",
         "memberIsAbstractMore": "ve +{count} tane daha...",
         "memberIsClassVarInProtocol": "\"{name}\", protokolde ClassVar olarak tanımlandı",
-        "memberIsFinalInProtocol": "\"{name}\" protokolde Final olarak işaretlendi",
         "memberIsInitVar": "\"{name}\" üyesi bir yalnızca init alanıdır",
         "memberIsInvariant": "\"{name}\" değiştirilebilir olduğundan sabit ayarlanır",
         "memberIsNotClassVarInClass": "\"{name}\" protokolle uyumlu olması için ClassVar olarak tanımlanmalıdır",
         "memberIsNotClassVarInProtocol": "\"{name}\" protokolde ClassVar olarak tanımlanmadı",
-        "memberIsNotFinalInProtocol": "\"{name}\", protokolde Final olarak işaretlenmedi",
+        "memberIsNotReadOnlyInProtocol": "\"{name}\" is not read-only in protocol",
+        "memberIsReadOnlyInProtocol": "\"{name}\" is read-only in protocol",
         "memberIsWritableInProtocol": "\"{name}\" protokolde yazılabilir",
         "memberSetClassVar": "\"{name}\" özniteliği bir ClassVar olduğundan sınıf örneği aracılığıyla atanamaz",
         "memberTypeMismatch": "\"{name}\" uyumsuz bir tür",

package/dist/localization/package.nls.zh-cn.json

@@ -211,6 +211,7 @@
         "expectedYieldExpr": "yield 语句中的预期表达式",
         "finalClassIsAbstract": "类“{type}”被标记为 final，并且必须实现所有抽象符号",
         "finalContext": "不允许在此上下文中使用 \"Final\"",
+        "finalInLoop": "无法在循环中分配 \"Final\" 变量",
         "finalMethodOverride": "方法\"{name}\"无法替代在类\"{className}\"中定义的最终方法",
         "finalNonMethod": "不能将函数“{name}”标记为 @final，因为它不是方法",
         "finalReassigned": "\"{name}\"声明为 Final，无法重新分配",
@@ -275,6 +276,7 @@
         "isSubclassInvalidType": "“issubclass”的第二个参数必须是类的类或元组",
         "keyValueInSet": "不允许在集内使用键/值对",
         "keywordArgInTypeArgument": "关键字参数不能在类型参数列表中使用",
+        "keywordArgShortcutIllegal": "关键字参数快捷方式需要 Python 3.14 或更高版本",
         "keywordOnlyAfterArgs": "“*”参数后不允许使用仅限关键字的参数分隔符",
         "keywordParameterMissing": "一个或多个关键字参数必须遵循 \"*\"参数",
         "keywordSubscriptIllegal": "不支持下标中的关键字参数",
@@ -354,7 +356,8 @@
         "orPatternMissingName": "“or”模式中的所有子节点必须以相同的名称为目标",
         "overlappingKeywordArgs": "类型化字典与以下关键字参数重叠: {names}",
         "overlappingOverload": "永远不会使用“{name}”的重载 {obscured}，因为其参数与重载 {obscuredBy} 重叠",
-        "overloadAbstractMismatch": "重载的方法必须全部为抽象方法或不为抽象方法",
+        "overloadAbstractImplMismatch": "Overloads must match abstract status of implementation",
+        "overloadAbstractMismatch": "Overloads must all be abstract or not",
         "overloadClassMethodInconsistent": "“{name}”的重载使用 @classmethod 的方式不一致",
         "overloadFinalInconsistencyImpl": "“{name}”的重载被标记为 @final，但实施未被标记",
         "overloadFinalInconsistencyNoImpl": "“{name}”的重载 {index} 被标记为 @final，但重载 1 未被标记",
@@ -526,6 +529,7 @@
         "typeVarDefaultIllegal": "类型变量默认类型需要 Python 3.13 或更高版本",
         "typeVarDefaultInvalidTypeVar": "类型参数“{name}”的默认类型是指超出范围的一个或多个类型变量",
         "typeVarFirstArg": "TypeVar 作为第一个参数的预期名称",
+        "typeVarInvalidForMemberVariable": "属性类型不能使用作用域为本地方法的类型变量\"{name}\"",
         "typeVarNoMember": "TypeVar“{type}”没有属性“{name}”",
         "typeVarNotSubscriptable": "TypeVar“{type}”不可下标",
         "typeVarNotUsedByOuterScope": "类型变量“{name}”在此上下文中没有意义",
@@ -608,6 +612,7 @@
         "unpackedTypeVarTupleExpected": "应为未打包的 TypeVarTuple；使用 Unpack[{name1}] 或 *{name2}",
         "unpackedTypedDictArgument": "无法将解压缩的 TypedDict 参数与参数匹配",
         "unreachableCode": "代码无法访问",
+        "unreachableCodeType": "类型分析指示代码不可访问",
         "unreachableExcept": "无法访问 Except 子句，因为已处理异常",
         "unsupportedDunderAllOperation": "不支持对“__all__”执行操作，因此导出的符号列表可能不正确",
         "unusedCallResult": "调用表达式的结果类型为 \"{type}\" 且未使用；如果这是有意为之，则分配给变量 “_”",
@@ -683,12 +688,12 @@
         "memberIsAbstract": "未实现“{type}.{name}”",
         "memberIsAbstractMore": "还有 {count} 个...",
         "memberIsClassVarInProtocol": "“{name}”在协议中定义为 ClassVar",
-        "memberIsFinalInProtocol": "\"{name}\"在协议中标记为 Final",
         "memberIsInitVar": "“{name}”是仅限 init 的字段",
         "memberIsInvariant": "“{name}”是固定的，因为它是可变的",
         "memberIsNotClassVarInClass": "“{name}”必须定义为 ClassVar 才能与协议兼容",
         "memberIsNotClassVarInProtocol": "“{name}”未在协议中定义为 ClassVar",
-        "memberIsNotFinalInProtocol": "“{name}”未在协议中标记为 Final",
+        "memberIsNotReadOnlyInProtocol": "\"{name}\" is not read-only in protocol",
+        "memberIsReadOnlyInProtocol": "\"{name}\" is read-only in protocol",
         "memberIsWritableInProtocol": "“{name}”在协议中是可写入的",
         "memberSetClassVar": "无法通过类实例分配属性“{name}”，因为它是 ClassVar",
         "memberTypeMismatch": "\"{name}\"是不兼容的类型",

package/dist/localization/package.nls.zh-tw.json

@@ -211,6 +211,7 @@
         "expectedYieldExpr": "yield 陳述式中應有運算式",
         "finalClassIsAbstract": "類別 \"{type}\" 標示為 Final，且必須實作所有抽象符號",
         "finalContext": "此內容中不允許 \"Final\"",
+        "finalInLoop": "無法在迴圈內指派 \"Final\" 變數",
         "finalMethodOverride": "方法 \"{name}\" 不能覆寫類別 \"{className}\" 中定義的 Final 方法",
         "finalNonMethod": "無法將函式 \"{name}\" 標示為 @final，因為它不是方法",
         "finalReassigned": "\"{name}\" 已宣告為 Final，因此無法重新指派",
@@ -275,6 +276,7 @@
         "isSubclassInvalidType": "\"issubclass\" 的第二個引數必須是類別的類別或 Tuple",
         "keyValueInSet": "組合內不允許金鑰/值組",
         "keywordArgInTypeArgument": "關鍵字引數無法用於型別引數清單",
+        "keywordArgShortcutIllegal": "關鍵字引數快速鍵需要 Python 3.14 或更新版本",
         "keywordOnlyAfterArgs": "\"*\" 參數之後不允許僅限關鍵字的引數分隔符號",
         "keywordParameterMissing": "一或多個關鍵字參數必須接在 \"*\" 參數後面",
         "keywordSubscriptIllegal": "不支援下標內的關鍵字引數",
@@ -354,7 +356,8 @@
         "orPatternMissingName": "\"or\" 模式內的所有子模式都必須以相同的名稱為目標",
         "overlappingKeywordArgs": "輸入的字典與關鍵字參數重疊:: {names}",
         "overlappingOverload": "\"{name}\" 的多載 {obscured} 將永遠不會使用，因為它的參數與多載 {obscuredBy} 重疊",
-        "overloadAbstractMismatch": "多載方法必須全為抽象或不抽象",
+        "overloadAbstractImplMismatch": "Overloads must match abstract status of implementation",
+        "overloadAbstractMismatch": "Overloads must all be abstract or not",
         "overloadClassMethodInconsistent": "\"{name}\" 的多載不一致地使用 @classmethod",
         "overloadFinalInconsistencyImpl": "\"{name}\" 的多載已標示為 @final 但未實作",
         "overloadFinalInconsistencyNoImpl": "\"{name}\" 的多載 {index} 標示為 @final 但多載 1 未標示",
@@ -526,6 +529,7 @@
         "typeVarDefaultIllegal": "型別變數預設型別需要 Python 3.13 或較新的版本",
         "typeVarDefaultInvalidTypeVar": "類型參數 \"{name}\" 的預設類型參考不在範圍的一或多個類型變數",
         "typeVarFirstArg": "預期為 TypeVar 的名稱作為第一個引數",
+        "typeVarInvalidForMemberVariable": "屬性類型不能使用範圍為 local 方法的類型變數 \"{name}\"",
         "typeVarNoMember": "TypeVar \"{type}\" 沒有屬性 \"{name}\"",
         "typeVarNotSubscriptable": "TypeVar \"{type}\" 不能下標",
         "typeVarNotUsedByOuterScope": "類型變數 \"{name}\" 在此內容中沒有意義",
@@ -608,6 +612,7 @@
         "unpackedTypeVarTupleExpected": "預期為解壓縮的 TypeVarTuple; 使用 Unpack[{name1}] 或 *{name2}",
         "unpackedTypedDictArgument": "無法比對解壓縮的 TypedDict 引數與參數",
         "unreachableCode": "無法連線到程式碼",
+        "unreachableCodeType": "類型分析指出程式碼無法連線",
         "unreachableExcept": "無法連接 Except 子句，因為例外已處理",
         "unsupportedDunderAllOperation": "不支援 \"__all__\" 上的作業，因此匯出的符號清單可能不正確",
         "unusedCallResult": "呼叫運算式的結果是 \"{type}\" 型別，而且未使用; 如果這是刻意的，則指派給變數 \"_\"",
@@ -683,12 +688,12 @@
         "memberIsAbstract": "\"{type}.{name}\" 未實作",
         "memberIsAbstractMore": "和其他 {count} 人...",
         "memberIsClassVarInProtocol": "\"{name}\" 定義為通訊協定中的 ClassVar",
-        "memberIsFinalInProtocol": "\"{name}\" 在通訊協定中標示為 Final",
         "memberIsInitVar": "\"{name}\" 是僅限初始化的欄位",
         "memberIsInvariant": "\"{name}\" 為不變數，因為它可變動",
         "memberIsNotClassVarInClass": "\"{name}\" 必須定義為 ClassVar，才能與通訊協定相容",
         "memberIsNotClassVarInProtocol": "\"{name}\" 未定義為通訊協定中的 ClassVar",
-        "memberIsNotFinalInProtocol": "\"{name}\" 未在通訊協定中標示為 Final",
+        "memberIsNotReadOnlyInProtocol": "\"{name}\" is not read-only in protocol",
+        "memberIsReadOnlyInProtocol": "\"{name}\" is read-only in protocol",
         "memberIsWritableInProtocol": "\"{name}\" 在通訊協定中是可寫入的",
         "memberSetClassVar": "無法透過類別執行個體指派屬性 \"{name}\"，因為它是 ClassVar",
         "memberTypeMismatch": "\"{name}\" 是不相容的類型",

package/dist/parser/parser.d.ts

@@ -4,7 +4,7 @@ import { DiagnosticSink } from '../common/diagnosticSink';
 import { PythonVersion } from '../common/pythonVersion';
 import { TextRange } from '../common/textRange';
 import { TextRangeCollection } from '../common/textRangeCollection';
-import { ArgumentNode, ExpressionNode, FunctionAnnotationNode, ModuleNameNode, ModuleNode } from './parseNodes';
+import { ArgumentNode, ExpressionNode, FunctionAnnotationNode, ModuleNameNode, ModuleNode, ParseNode } from './parseNodes';
 import { TokenizerOutput } from './tokenizer';
 export declare class ParseOptions {
     isStubFile: boolean;
@@ -27,8 +27,8 @@ export interface ParseFileResults {
     parserOutput: ParserOutput;
     tokenizerOutput: TokenizerOutput;
 }
-export interface ParseExpressionTextResults {
-    parseTree?: ExpressionNode | FunctionAnnotationNode | undefined;
+export interface ParseExpressionTextResults<T extends ParseNode> {
+    parseTree?: T | undefined;
     lines: TextRangeCollection<TextRange>;
     diagnostics: Diagnostic[];
 }
@@ -42,7 +42,7 @@ export interface ArgListResult {
     args: ArgumentNode[];
     trailingComma: boolean;
 }
-declare const enum ParseTextMode {
+export declare const enum ParseTextMode {
     Expression = 0,
     VariableAnnotation = 1,
     FunctionAnnotation = 2
@@ -68,7 +68,9 @@ export declare class Parser {
     private _typingSymbolAliases;
     private _maxChildDepthMap;
     parseSourceFile(fileContents: string, parseOptions: ParseOptions, diagSink: DiagnosticSink): ParseFileResults;
-    parseTextExpression(fileContents: string, textOffset: number, textLength: number, parseOptions: ParseOptions, parseTextMode?: ParseTextMode, initialParenDepth?: number, typingSymbolAliases?: Map<string, string>): ParseExpressionTextResults;
+    parseTextExpression(fileContents: string, textOffset: number, textLength: number, parseOptions: ParseOptions, parseTextMode: ParseTextMode.Expression, initialParenDepth?: number, typingSymbolAliases?: Map<string, string>): ParseExpressionTextResults<ExpressionNode>;
+    parseTextExpression(fileContents: string, textOffset: number, textLength: number, parseOptions: ParseOptions, parseTextMode: ParseTextMode.VariableAnnotation, initialParenDepth?: number, typingSymbolAliases?: Map<string, string>): ParseExpressionTextResults<ExpressionNode>;
+    parseTextExpression(fileContents: string, textOffset: number, textLength: number, parseOptions: ParseOptions, parseTextMode: ParseTextMode.FunctionAnnotation, initialParenDepth?: number, typingSymbolAliases?: Map<string, string>): ParseExpressionTextResults<FunctionAnnotationNode>;
     private _startNewParse;
     private _parseStatement;
     private _parseAsyncStatement;
@@ -197,4 +199,3 @@ export declare class Parser {
     private _suppressErrors;
     private _addSyntaxError;
 }
-export {};

package/dist/parser/parser.js

@@ -35,7 +35,7 @@ var __importStar = (this && this.__importStar) || function (mod) {
     return result;
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.Parser = exports.ParseOptions = void 0;
+exports.Parser = exports.ParseTextMode = exports.ParseOptions = void 0;
 const sourceFile_1 = require("../analyzer/sourceFile");
 const collectionUtils_1 = require("../common/collectionUtils");
 const debug_1 = require("../common/debug");
@@ -66,7 +66,7 @@ var ParseTextMode;
     ParseTextMode[ParseTextMode["Expression"] = 0] = "Expression";
     ParseTextMode[ParseTextMode["VariableAnnotation"] = 1] = "VariableAnnotation";
     ParseTextMode[ParseTextMode["FunctionAnnotation"] = 2] = "FunctionAnnotation";
-})(ParseTextMode || (ParseTextMode = {}));
+})(ParseTextMode || (exports.ParseTextMode = ParseTextMode = {}));
 // Limit the max child node depth to prevent stack overflows.
 const maxChildNodeDepth = 256;
 class Parser {
@@ -266,7 +266,7 @@ class Parser {
     // type_alias_stmt: "type" name [type_param_seq] = expr
     _parseTypeAliasStatement() {
         const typeToken = this._getKeywordToken(35 /* KeywordType.Type */);
-        if (!this._parseOptions.isStubFile && this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_12)) {
+        if (!this._parseOptions.isStubFile && pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_12)) {
             this._addSyntaxError(localize_1.LocMessage.typeAliasStatementIllegal(), typeToken);
         }
         const nameToken = this._getTokenIfIdentifier();
@@ -348,7 +348,8 @@ class Parser {
         if (this._consumeTokenIfOperator(2 /* OperatorType.Assign */)) {
             defaultExpression = this._parseExpression(
             /* allowUnpack */ typeParamCategory === parseNodes_1.TypeParamKind.TypeVarTuple);
-            if (!this._parseOptions.isStubFile && this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_13)) {
+            if (!this._parseOptions.isStubFile &&
+                pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_13)) {
                 this._addSyntaxError(localize_1.LocMessage.typeVarDefaultIllegal(), defaultExpression);
             }
         }
@@ -456,7 +457,7 @@ class Parser {
             }
         }
         // This feature requires Python 3.10.
-        if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_10)) {
+        if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_10)) {
             this._addSyntaxError(localize_1.LocMessage.matchIncompatible(), matchToken);
         }
         // Validate that only the last entry uses an irrefutable pattern.
@@ -1222,7 +1223,8 @@ class Parser {
             forSuite = this._parseLoopSuite();
             // Versions of Python earlier than 3.9 didn't allow unpack operators if the
             // tuple wasn't enclosed in parentheses.
-            if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_9) && !this._parseOptions.isStubFile) {
+            if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_9) &&
+                !this._parseOptions.isStubFile) {
                 if (seqExpr.nodeType === 52 /* ParseNodeType.Tuple */ && !seqExpr.d.hasParens) {
                     let sawStar = false;
                     seqExpr.d.items.forEach((expr) => {
@@ -1361,7 +1363,8 @@ class Parser {
             const possibleStarToken = this._peekToken();
             let isExceptGroup = false;
             if (this._consumeTokenIfOperator(26 /* OperatorType.Multiply */)) {
-                if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_11) && !this._parseOptions.isStubFile) {
+                if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_11) &&
+                    !this._parseOptions.isStubFile) {
                     this._addSyntaxError(localize_1.LocMessage.exceptionGroupIncompatible(), possibleStarToken);
                 }
                 isExceptGroup = true;
@@ -1441,7 +1444,8 @@ class Parser {
         const possibleOpenBracket = this._peekToken();
         if (possibleOpenBracket.type === 15 /* TokenType.OpenBracket */) {
             typeParameters = this._parseTypeParameterList();
-            if (!this._parseOptions.isStubFile && this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_12)) {
+            if (!this._parseOptions.isStubFile &&
+                pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_12)) {
                 this._addSyntaxError(localize_1.LocMessage.functionTypeParametersIllegal(), typeParameters);
             }
         }
@@ -1633,7 +1637,8 @@ class Parser {
             starCount = 2;
         }
         else if (this._consumeTokenIfOperator(10 /* OperatorType.Divide */)) {
-            if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_8) && !this._parseOptions.isStubFile) {
+            if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_8) &&
+                !this._parseOptions.isStubFile) {
                 this._addSyntaxError(localize_1.LocMessage.positionOnlyIncompatible(), firstToken);
             }
             slashCount = 1;
@@ -1723,7 +1728,7 @@ class Parser {
         }
         if (isParenthesizedWithItemList) {
             this._consumeTokenIfType(13 /* TokenType.OpenParenthesis */);
-            if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_9)) {
+            if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_9)) {
                 this._addSyntaxError(localize_1.LocMessage.parenthesizedContextManagerIllegal(), possibleParen);
             }
         }
@@ -1816,7 +1821,7 @@ class Parser {
         const expression = this._parseTestExpression(/* allowAssignmentExpression */ true);
         // Versions of Python prior to 3.9 support a limited set of
         // expression forms.
-        if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_9)) {
+        if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_9)) {
             let isSupportedExpressionForm = false;
             if (this._isNameOrMemberAccessExpression(expression)) {
                 isSupportedExpressionForm = true;
@@ -1857,7 +1862,8 @@ class Parser {
         const possibleOpenBracket = this._peekToken();
         if (possibleOpenBracket.type === 15 /* TokenType.OpenBracket */) {
             typeParameters = this._parseTypeParameterList();
-            if (!this._parseOptions.isStubFile && this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_12)) {
+            if (!this._parseOptions.isStubFile &&
+                pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_12)) {
                 this._addSyntaxError(localize_1.LocMessage.classTypeParametersIllegal(), typeParameters);
             }
         }
@@ -2250,7 +2256,7 @@ class Parser {
         const yieldToken = this._getKeywordToken(38 /* KeywordType.Yield */);
         const nextToken = this._peekToken();
         if (this._consumeTokenIfKeyword(18 /* KeywordType.From */)) {
-            if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_3)) {
+            if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_3)) {
                 this._addSyntaxError(localize_1.LocMessage.yieldFromIllegal(), nextToken);
             }
             return parseNodes_1.YieldFromNode.create(yieldToken, this._parseTestExpression(/* allowAssignmentExpression */ false));
@@ -2492,7 +2498,7 @@ class Parser {
         if (!this._assignmentExpressionsAllowed || disallowAssignmentExpression) {
             this._addSyntaxError(localize_1.LocMessage.walrusNotAllowed(), walrusToken);
         }
-        if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_8)) {
+        if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_8)) {
             this._addSyntaxError(localize_1.LocMessage.walrusIllegal(), walrusToken);
         }
         const rightExpr = this._parseTestExpression(/* allowAssignmentExpression */ false);
@@ -2740,7 +2746,7 @@ class Parser {
         let awaitToken;
         if (this._peekKeywordType() === 4 /* KeywordType.Await */) {
             awaitToken = this._getKeywordToken(4 /* KeywordType.Await */);
-            if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_5)) {
+            if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_5)) {
                 this._addSyntaxError(localize_1.LocMessage.awaitIllegal(), awaitToken);
             }
         }
@@ -2894,7 +2900,8 @@ class Parser {
                     this._tokenIndex = startOfSubscriptIndex;
                     valueExpr = this._parseTestExpression(/* allowAssignmentExpression */ true);
                     // Python 3.10 and newer allow assignment expressions to be used inside of a subscript.
-                    if (!this._parseOptions.isStubFile && this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_10)) {
+                    if (!this._parseOptions.isStubFile &&
+                        pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_10)) {
                         this._addSyntaxError(localize_1.LocMessage.assignmentExprInSubscript(), valueExpr);
                     }
                 }
@@ -2917,7 +2924,7 @@ class Parser {
             if (argType !== 0 /* ArgCategory.Simple */) {
                 const unpackListAllowed = this._parseOptions.isStubFile ||
                     this._isParsingQuotedText ||
-                    this._getLanguageVersion().isGreaterOrEqualTo(pythonVersion_1.pythonVersion3_11);
+                    pythonVersion_1.PythonVersion.isGreaterOrEqualTo(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_11);
                 if (argType === 1 /* ArgCategory.UnpackedList */ && !unpackListAllowed) {
                     this._addSyntaxError(localize_1.LocMessage.unpackedSubscriptIllegal(), argNode);
                 }
@@ -2957,7 +2964,8 @@ class Parser {
             }
             if (nextTokenType !== 10 /* TokenType.Colon */) {
                 // Python 3.10 and newer allow assignment expressions to be used inside of a subscript.
-                const allowAssignmentExpression = this._parseOptions.isStubFile || this._getLanguageVersion().isGreaterOrEqualTo(pythonVersion_1.pythonVersion3_10);
+                const allowAssignmentExpression = this._parseOptions.isStubFile ||
+                    pythonVersion_1.PythonVersion.isGreaterOrEqualTo(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_10);
                 sliceExpressions[sliceIndex] = this._parseTestExpression(allowAssignmentExpression);
             }
             sliceIndex++;
@@ -3046,7 +3054,7 @@ class Parser {
                 if (nameExpr.nodeType === 38 /* ParseNodeType.Name */ &&
                     (this._peekTokenType() === 12 /* TokenType.Comma */ || this._peekTokenType() === 14 /* TokenType.CloseParenthesis */)) {
                     nameNode = parseNodes_1.NameNode.create(nameExpr.d.token);
-                    if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_14)) {
+                    if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_14)) {
                         this._addSyntaxError(localize_1.LocMessage.keywordArgShortcutIllegal(), assignmentToken);
                         valueExpr = parseNodes_1.ErrorNode.create(assignmentToken, 14 /* ErrorExpressionCategory.MissingKeywordArgValue */);
                     }
@@ -3298,7 +3306,7 @@ class Parser {
                 keyExpression = this._parseTestOrStarExpression(/* allowAssignmentExpression */ true);
                 // Allow walrus operators in this context only for Python 3.10 and newer.
                 // Older versions of Python generated a syntax error in this context.
-                let isWalrusAllowed = this._getLanguageVersion().isGreaterOrEqualTo(pythonVersion_1.pythonVersion3_10);
+                let isWalrusAllowed = pythonVersion_1.PythonVersion.isGreaterOrEqualTo(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_10);
                 if (this._consumeTokenIfType(10 /* TokenType.Colon */)) {
                     valueExpression = this._parseTestExpression(/* allowAssignmentExpression */ false);
                     isWalrusAllowed = false;
@@ -3465,7 +3473,8 @@ class Parser {
         if (this._consumeTokenIfType(10 /* TokenType.Colon */)) {
             annotationExpr = this._parseTypeAnnotation();
             leftExpr = parseNodes_1.TypeAnnotationNode.create(leftExpr, annotationExpr);
-            if (!this._parseOptions.isStubFile && this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_6)) {
+            if (!this._parseOptions.isStubFile &&
+                pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_6)) {
                 this._addSyntaxError(localize_1.LocMessage.varAnnotationIllegal(), annotationExpr);
             }
             if (!this._consumeTokenIfOperator(2 /* OperatorType.Assign */)) {
@@ -3599,7 +3608,7 @@ class Parser {
             allowUnpack &&
             !this._parseOptions.isStubFile &&
             !this._isParsingQuotedText &&
-            this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_11)) {
+            pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_11)) {
             this._addSyntaxError(localize_1.LocMessage.unpackedSubscriptIllegal(), startToken);
         }
         let result = this._parseTestExpression(/* allowAssignmentExpression */ false);
@@ -3617,7 +3626,7 @@ class Parser {
             this._addSyntaxError(localize_1.LocMessage.stringNonAsciiBytes(), stringToken);
         }
         if (stringToken.flags & 64 /* StringTokenFlags.Format */) {
-            if (this._getLanguageVersion().isLessThan(pythonVersion_1.pythonVersion3_6)) {
+            if (pythonVersion_1.PythonVersion.isLessThan(this._getLanguageVersion(), pythonVersion_1.pythonVersion3_6)) {
                 this._addSyntaxError(localize_1.LocMessage.formatStringIllegal(), stringToken);
             }
             if (stringToken.flags & 32 /* StringTokenFlags.Bytes */) {
@@ -3677,7 +3686,6 @@ class Parser {
         if (!parseResults.parseTree) {
             return undefined;
         }
-        (0, debug_1.assert)(parseResults.parseTree.nodeType !== 62 /* ParseNodeType.FunctionAnnotation */);
         return parseResults.parseTree;
     }
     _parseFunctionTypeAnnotationComment(stringToken, functionNode) {
@@ -3689,7 +3697,7 @@ class Parser {
         parseResults.diagnostics.forEach((diag) => {
             this._addSyntaxError(diag.message, stringListNode);
         });
-        if (!parseResults.parseTree || parseResults.parseTree.nodeType !== 62 /* ParseNodeType.FunctionAnnotation */) {
+        if (!parseResults.parseTree) {
             return;
         }
         const functionAnnotation = parseResults.parseTree;
@@ -3715,7 +3723,7 @@ class Parser {
         if (nextToken.type === 9 /* TokenType.Operator */ &&
             nextToken.operatorType === 2 /* OperatorType.Assign */) {
             // This feature requires Python 3.8 or newer.
-            if (this._parseOptions.pythonVersion.isLessThan(pythonVersion_1.pythonVersion3_8)) {
+            if (pythonVersion_1.PythonVersion.isLessThan(this._parseOptions.pythonVersion, pythonVersion_1.pythonVersion3_8)) {
                 this._addSyntaxError(localize_1.LocMessage.formatStringDebuggingIllegal(), nextToken);
             }
             this._getNextToken();
@@ -3896,7 +3904,6 @@ class Parser {
                             this._addSyntaxError(diag.message, stringNode);
                         });
                         if (parseResults.parseTree) {
-                            (0, debug_1.assert)(parseResults.parseTree.nodeType !== 62 /* ParseNodeType.FunctionAnnotation */);
                             stringNode.d.annotation = parseResults.parseTree;
                             stringNode.d.annotation.parent = stringNode;
                         }
@@ -3916,7 +3923,7 @@ class Parser {
         if (possibleTupleExpr.d.hasParens) {
             return;
         }
-        if (this._parseOptions.pythonVersion.isGreaterOrEqualTo(pythonVersion)) {
+        if (pythonVersion_1.PythonVersion.isGreaterOrEqualTo(this._parseOptions.pythonVersion, pythonVersion)) {
             return;
         }
         for (const expr of possibleTupleExpr.d.items) {