<?php
class Foo {
    public function __sleep(string $name) {}
}
?>