Check for void/noreturn in conditionals

[hiphop-php.git] / hphp / hack / test / typecheck / invariant_err_msg.php

<?hh // strict

class A {}
class B extends A {}

function foo(Set<B> $x): Set<A> {
  return $x;
}