No error on use of `unsafe_cast`
[hiphop-php.git] / hphp / hack / test / typecheck / printf_opt_1.php
blobeb6b2d5a9d8eaad8945046ce9778391f368b7242
1 <?hh // strict
2 /**
3 * Copyright (c) 2014, Facebook, Inc.
4 * All rights reserved.
6 * This source code is licensed under the MIT license found in the
7 * LICENSE file in the "hack" directory of this source tree.
14 interface Dummy {
15 public function format_s(string $s) : string;
18 function takesFS(?\HH\FormatString<Dummy> $f = null) : void {
20 function _() : void {
21 takesFS();
22 takesFS(null);
23 takesFS('%s', 's');