TysonAndre / phan

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Other
0 stars 0 forks source link

False positive return mismatch of `void` type seen in vendor/symfony/cache/Simple/ArrayCache.php #189

Open TysonAndre opened 6 years ago

TysonAndre commented 6 years ago

Possibly related to generators and/or inheriting private generator methods with no declared return type from traits.