null! still has the type null outside of strictNulllChecks

[DanielRosenwasser]

// @strictNullChecks: false
let x = null!.yadda;
//      ~~~~~ Object is possibly 'null'.

Hmm

// @strictNullChecks: false

let x = null!!!!.yadda;
//      ~~~~~~~~ Object is possibly 'null'.

Is this working as intended @ahejlsberg?

[ExE-Boss]

Well, with strictNullChecks: true, you get:

// @strictNullChecks: true

let x = null!.yadda;
//            ~~~~~ Property 'yadda' does not exist on type 'never'.

Arguably, the same should also happen with strictNullChecks: false.

[DanielRosenwasser]

Yes, this only happens when you end up with an un-widened null or undefined. It's rare, so it's not an important scenario, but it is worth pointing out.