private static function extractTypeParts(string $type_string): array
    {
        $parts = [];
        foreach (\preg_split('@[|&]@', $type_string) as $part) {
            $parts[] = \trim($part);