Treat Boolean(x) equally as double not !!x

In complex boolean expressions it's clearer to do Boolean(x) cast rather than !!x in favor of readability. Also the latter way of casting something to boolean is error prone and it's easy to mistype !. Typescript should treat Boolean(x) the same way as !!.

TypeScript Version: 3.6.3,3.7.5,3.8.3 (tried top 3 available in playground)

Search Terms:

boolean cast non null
double negation boolean cast
double not Boolean

Code

interface A {
    a: number
}

const a: A | undefined

console.log(a && a?.a) // works
console.log(!!a && a.a) // works
console.log(Boolean(a) && a.a) // warns that `Object is possibly 'undefined'.(2532)`

Expected behavior:
Boolean(x) should be treated as equivalent of !!x

Actual behavior:
Using Boolean as a function does not contribute to TS understanding of object existense

Playground Link: https://www.typescriptlang.org/play/?ssl=1&ssc=1&pln=9&pc=31#code/JYOwLgpgTgZghgYwgAgILIN4Chm+XALmRAFcBbAI2iwF8ssEB7EAZzHyPQB9kSQATCDFAR+9Jq0YAbCADopjAOYAKOMgBk6-AH5ZcAJQNmLaXIUqAhBbWb8ewxJMz5S5QCFGpuCFX6NWuHsgA

Related Issues:

i think your issue may couldnot be sensed by when the parameter of Boolean is another function's parameter, like this:

function xxx(a?: A) {
    return Boolean(a) && a.a; // the compiler cannot helps you to understanding this case
}

Ezio 1212 (@Ezio1212)

Ezio 1212 (@Ezio1212) I am not sure I follow your suggestion, can you elaborate?

interface A {
    a: number
}

function xxx(a?: A) {
    return a && a?.a
}

function yyy(a?: A) {
    return !!a && a.a
}

function zzz(a?: A) {
    return Boolean(a) && a.a;
}

expressions work exactly the same way in context of a function as they work outside - x && x.prop and !!x && x.prop work perfectly fine while Boolean one does not.

playground: https://www.typescriptlang.org/play/?ssl=1&ssc=1&pln=16&pc=1#code/JYOwLgpgTgZghgYwgAgILIN4Chm+XALmRAFcBbAI2iwF8ssYSQExgB7EZADx4Ao4A-EVQBKTDjxQIYElE5xkAMkX4BAOji16jZqw7IAnkf5C0Y7HmRSZc5AEI7C5fg1aGTFu04AvXyeHmErjWspwAQmxsADYQcCD8Ys5wGgDcWkA

Duplicate of #16655
My search terms were "boolean constructor type guard"
If you add the overload from #29955 to your example, it works as expected:

Playground

This issue has been marked as a 'Duplicate' and has seen no recent activity. It has been automatically closed for house-keeping purposes.

Navigation Menu

Repository navigation

Treat `Boolean(x)` equally as double not `!!x` #37180

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Treat Boolean(x) equally as double not !!x #37180

Description

Activity

Ezio1212 commented on Mar 3, 2020

maxkomarychev commented on Mar 4, 2020

nmain commented on Mar 4, 2020

typescript-bot commented on Mar 6, 2020

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

Treat `Boolean(x)` equally as double not `!!x` #37180