Catch type errors in PHP 7

catch_type_error.php

<?php
declare(strict_types=1);

function double(int $argument):int {
    return $argument*2;
}

try {
    var_dump(double("3"));
} catch (TypeError $e) {
    echo "A type error occured: ".$e->getMessage();
}