Demote option mixed/null error to a lint

[hiphop-php.git] / hphp / hack / test / lint / redundant_option_mixed_expression_trees.php

<?hh

<<file:__EnableUnstableFeatures('expression_trees')>>

function redundant_option_mixed_expression_trees(): void {
  ExampleDsl`(?mixed $x) ==> {}`;
}