microsoft/pyright
1
1
Fork 0
mirror of https://github.com/microsoft/pyright.git synced 2024-10-07 13:29:17 +03:00
Code Issues Projects Releases Wiki Activity

Changed type evaluator to elide NoReturn from union generated from or or and operator.

Browse Source
This commit is contained in:
Eric Traut 2021-10-30 11:51:20 -07:00
parent c70cee87ea
commit 4685207d28
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/pyright-internal/src/analyzer/typeEvaluator.ts
View File

@ -9680,7 +9680,9 @@ export function createTypeEvaluator(importLookup: ImportLookup, evaluatorOptions
(rightSubtypeExpanded, rightSubtypeUnexpanded) => { (rightSubtypeExpanded, rightSubtypeUnexpanded) => {
// If the operator is an AND or OR, we need to combine the two types. // If the operator is an AND or OR, we need to combine the two types.
if (operator === OperatorType.And || operator === OperatorType.Or) { if (operator === OperatorType.And || operator === OperatorType.Or) {
return combineTypes([leftSubtypeUnexpanded, rightSubtypeUnexpanded]); return removeNoReturnFromUnion(
combineTypes([leftSubtypeUnexpanded, rightSubtypeUnexpanded])
);
} }
// The other boolean operators always return a bool value. // The other boolean operators always return a bool value.
return getBuiltInObject(errorNode, 'bool'); return getBuiltInObject(errorNode, 'bool');