<?php

enum Foo {
    case Bar;

    public function __sleep(): array {

    }
}

?>