<?php
namespace {
    interface UnitEnum {
        /** @return non-empty-list<static> */
        public static function cases(): array;
    }
}

namespace FTP {
    final class Connection {}
}

namespace IMAP {
    final class Connection {}
}