Expected type is not propagated through branching

Could the following code be made working? It would be nice :)

```haxe
function get() {
return new Map();
}

function getE() {
return E.A;
}

enum E { A; B; }
enum E2 { A; B; }

function main() {
// doesn't compile
trace(try get() catch (e) []); // haxe.ds.Map should be Array>
trace(if (Math.random() > 0.5) get() else []); // Array> should be haxe.ds.Map
trace(if (Math.random() > 0.5) getE() else A); // E2 should be E
}
```

Also, in the `try` example it complains about `get()` rather than `[]`, which is confusing because it doesn't follow syntatical order.