that's interesting. So, passing arguments to the object widens requires-types, and passing the object narrows permitted-types. It could be static analyzer friendly but only if the latter could be narrowed only once, I think:
```
function g(container<A|B>) {}
function f(container<A|B|C> $obj) { g($obj); }
f($obj)
$obj->push(new C);
```
Otherwise, $obj is container<req(A|B),perm(A|B)> after calling f, but a static analyzer is not able to infer that, and can't say that the last line is unsafe.