ListLit of Sum Type with Hole report Inconsistency in Static Checker

[GuoDCZ]

Expect both lists pass static checker. We get 1 failed and the other passed.

Tested on dev f1274b6

Plain Code:

let x : +X(Bool) = in
let y : +X( ) = in
[y,x];
[x,y];

[cyrus-]

@Negabinary could you look into this?