From daf3ed8e22c64a4839bf9d75236ad51e16035822 Mon Sep 17 00:00:00 2001 From: Anders Hejlsberg Date: Tue, 27 Feb 2018 17:34:49 -0800 Subject: [PATCH] Fix comment --- src/compiler/checker.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts index cf15ca84784..54e1887fff1 100644 --- a/src/compiler/checker.ts +++ b/src/compiler/checker.ts @@ -8225,7 +8225,7 @@ namespace ts { // conditional type instead of deferring resolution. Also, we always want strict function // types rules (i.e. proper contravariance) for inferences. inferTypes(inferences, checkType, extendsType, InferencePriority.NoConstraints | InferencePriority.AlwaysStrict); - // We infer 'never' when there are no candidates for a type parameter + // We infer {} when there are no candidates for a type parameter const inferredTypes = map(inferences, inference => getTypeFromInference(inference) || emptyObjectType); combinedMapper = combineTypeMappers(mapper, createTypeMapper(root.inferTypeParameters, inferredTypes)); }