1<?php
2
3// implicitly weak code
4
5function takes_int(int $x) {
6    echo "Success!";
7}
8
9takes_int(1.0); // succeeds in weak mode
10