{} & null and {} & undefined should be never in non-strictNullChecks mode

ahejlsberg · ahejlsberg · commit 3652682f525c · 2022-08-30T14:26:34.000-07:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -15166,7 +15166,7 @@ namespace ts {
                 return includes & TypeFlags.IncludesWildcard ? wildcardType : anyType;
             }
             if (!strictNullChecks && includes & TypeFlags.Nullable) {
-                return includes & TypeFlags.Undefined ? undefinedType : nullType;
+                return includes & TypeFlags.IncludesEmptyObject ? neverType : includes & TypeFlags.Undefined ? undefinedType : nullType;
             }
             if (includes & TypeFlags.String && includes & (TypeFlags.StringLiteral | TypeFlags.TemplateLiteral | TypeFlags.StringMapping) ||
                 includes & TypeFlags.Number && includes & TypeFlags.NumberLiteral ||

Original file line number	Diff line number	Diff line change
`@@ -15166,7 +15166,7 @@ namespace ts {`
`15166`	`15166`	`return includes & TypeFlags.IncludesWildcard ? wildcardType : anyType;`
`15167`	`15167`	`}`
`15168`	`15168`	`if (!strictNullChecks && includes & TypeFlags.Nullable) {`
`15169`		`- return includes & TypeFlags.Undefined ? undefinedType : nullType;`
	`15169`	`+ return includes & TypeFlags.IncludesEmptyObject ? neverType : includes & TypeFlags.Undefined ? undefinedType : nullType;`
`15170`	`15170`	`}`
`15171`	`15171`	`if (includes & TypeFlags.String && includes & (TypeFlags.StringLiteral \| TypeFlags.TemplateLiteral \| TypeFlags.StringMapping) \|\|`
`15172`	`15172`	`includes & TypeFlags.Number && includes & TypeFlags.NumberLiteral \|\|`