def METHOD_NAME(self) -> None:
    self.write_and_test_one_file(
        """<?hh
        <<file:__EnableUnstableFeatures('upcast_expression')>>
        <<__SupportDynamicType>>
        function h(shape(...) $m): int {
          $x = h<> upcast dynamic;
        }
        """,
        "Function",
        "h",
        [
            f'File "{self.test_driver.repo_dir}/a.php", line 5, characters 20-37:',
        ],
    )