Type unexpectedly inferred as "Object" in "return x ? y : z"

[DanTup]

While working in the analyzer, I got this analysis error:

For some reason, the inferred type is Object. If I change this to this as Element2 then the error goes away:

However, if I rewrite the code using if/else, there is no problem without the cast:

As far as I can tell, these are functionally the same?

The class ConstructorElementImpl2 is an Element2 via this chain: ConstructorElementImpl2 extends ExecutableElementImpl2 extends FunctionTypedElementImpl2 extends TypeParameterizedElementImpl2 extends ElementImpl2 implements Element2.

[eernstg]

The feature known as 'inference-update-3' was enabled in Dart 3.4.0, does your tool chain have that? Otherwise, that might make the typing succeed — it's very much about improving the type of conditional expressions.

[DanTup]

Ah, that's it. The analyzer package is still on 3.3, and if I change it to 3.4 the error indeed goes away. Thanks for the explanation!