function foo(): void {
    $a = $(123);
    $b = $::<int>($a);
    return $($b);
}