should expected type be propagated through type params

Sorry, this question was probably asked and discussed before, but I'm in the middle of work atm and can't find the issue.

So consider the following code:
```haxe
extern class Vector {
static function ofArray(v:Array):Vector;
}

class Base {}

class Child extends Base {
public function new() {}
}

class Main {
static function main() {
var v:Vector = Vector.ofArray([new Child()]);
}
}
```

this currently gives:
```
Main.hx:13: characters 3-54 : error: Child should be Base
Main.hx:13: characters 3-54 : have: Vector
Main.hx:13: characters 3-54 : want: Vector
```

which is understandable, as `ofArray` call receives `[new Child()]` with an expected type of just `Array`, so it binds `T` to `Child` and returns `Vector`.

My question is: is it possible (and safe) to actually propagate the expected type through type parameters so the example above compiles?