Check for void/noreturn in conditionals

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

<?hh

class Foo<+T> {}

interface Bar<-T> {}

class Baz<+T> extends Foo<T> implements Bar<T> {}