SplObjectStorage is not correctly templated in a foreach

[danog]

Describe the bug
When iterating over an SplObjectStorage, the value is actually the key, intelephense does not account for this.

To Reproduce

<?php

class a
{
    public function method() {}
}
class b
{
    /** @var SplObjectStorage<a, void> */
    public SplObjectStorage $list;
}

$a = new b;
$a->list = new SplObjectStorage;
$a->list->attach(new a);

foreach ($a->list as $key => $object) {
    $key->method();
    $object->method();
}

Screenshots

Platform and version
Arch, 1.5.3

[bmewburn]

All iterables and ArrayAccesss currently have a <TKey, TValue> template. If I understand correctly SplObjectStorage would be something like:

class SplObjectStorage<K, V> implements Iterator<int, K>, ArrayAccess<K, V>

This wont happen until #1144

[bmewburn]

Working in 1.9