File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 33namespace PHPStan \Type \Generic ;
44
55use PHPStan \Type \BenevolentUnionType ;
6- use PHPStan \Type \NeverType ;
76use PHPStan \Type \Type ;
87
98/** @api */
@@ -51,9 +50,6 @@ public function withTypes(array $types): self
5150 public function filterTypes (callable $ filterCb ): Type
5251 {
5352 $ result = parent ::filterTypes ($ filterCb );
54- if ($ result instanceof NeverType) {
55- return $ result ;
56- }
5753 if (!$ result instanceof TemplateType) {
5854 return TemplateTypeFactory::create (
5955 $ this ->getScope (),
Original file line number Diff line number Diff line change 22
33namespace PHPStan \Type \Generic ;
44
5- use PHPStan \Type \NeverType ;
65use PHPStan \Type \Type ;
76use PHPStan \Type \UnionType ;
87
@@ -38,9 +37,6 @@ public function __construct(
3837 public function filterTypes (callable $ filterCb ): Type
3938 {
4039 $ result = parent ::filterTypes ($ filterCb );
41- if ($ result instanceof NeverType) {
42- return $ result ;
43- }
4440 if (!$ result instanceof TemplateType) {
4541 return TemplateTypeFactory::create (
4642 $ this ->getScope (),
You can’t perform that action at this time.
0 commit comments