Demote option mixed/null error to a lint

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

<?hh // strict
// Copyright 2004-present Facebook. All Rights Reserved.

function redundant_option_null(): ?null {
  return null;
}