Clarification on propagating CET of the conditional expression to the then else expressions

[rdulmina]

Description:
Currently in the jballerina implementation, the following sample is allowed

    float r = true? 1 : 1;

But the spec doesn't mention propagating the CET of the conditional expression to the then else expressions. Should we add this to the spec or change the implementation?

[rdulmina]

It seems like we have more expressions similar to this that the spec doesn't mention propagating the CET to the sub-expressions.

int a = checkpanic dependentlyTypedFunc();

float b = let int x = 5 in x * 2;

float|error c = trap 2;

future<int> b =  start dependentlyTypedFunc(); // Currenly gives error due to other reason

These are currently allowed in the implementation

[jclark]

Generally the spec only says anything about propagating the conditionally expected type when it's not obvious how it should be propagated. When the spec says nothing about how to propagate the contextually expected type, you should do the obvious thing, rather than do nothing. Same goes for static typing rules. In an ideal world it would spell all this out, but realistically that isn't going to happen any time soon.

In these cases, I would say it's obvious what to do...