In its current state, the typed traversable checker will iterate over given iterators

Roave / StrictPhp

:no_entry_sign: :sparkles: :heavy_exclamation_mark: AOP-based strict type checks for PHP

MIT License

261 stars 8 forks source link

In its current state, the typed traversable checker will iterate over given iterators #16

Closed Ocramius closed 9 years ago

Ocramius commented 9 years ago

In its current state, the typed traversable checker will iterate over given iterators.

Given an Iterator that is not rewindable, this means that the checks should either:

fail
be skipped
deferred (via another generator or generator delegation?)

Ocramius commented 9 years ago

As per discussion with @nikic, it is only possible to intercept things such as Generator#current() by hooking in execute_ex, as current() is not actually being called there.

We will have to simply stop validating types in particular internals edge cases.