File tree Expand file tree Collapse file tree 2 files changed +3
-2
lines changed
Expand file tree Collapse file tree 2 files changed +3
-2
lines changed Original file line number Diff line number Diff line change 44
55use PHPStan \DependencyInjection \AutowiredService ;
66use PHPStan \Type \ErrorType ;
7+ use PHPStan \Type \LateResolvableType ;
78use PHPStan \Type \Type ;
89use PHPStan \Type \TypeTraverser ;
910
@@ -18,7 +19,7 @@ public function containsUnresolvableType(Type $type): bool
1819 if ($ type instanceof ErrorType) {
1920 $ containsUnresolvable = true ;
2021 }
21- if ($ type ->isNever ()->yes () && $ type ->isExplicitNever ()->no ()) {
22+ if (! $ type instanceof LateResolvableType && $ type ->isNever ()->yes () && $ type ->isExplicitNever ()->no ()) {
2223 $ containsUnresolvable = true ;
2324 }
2425
Original file line number Diff line number Diff line change @@ -122,7 +122,7 @@ public static function decideType(
122122 if (
123123 ($ type ->isCallable ()->yes () && $ phpDocType ->isCallable ()->yes ())
124124 || (
125- ($ phpDocType ->isNever ()->no () || ($ type instanceof MixedType && !$ type ->isExplicitMixed ()))
125+ ($ phpDocType instanceof LateResolvableType || $ phpDocType ->isNever ()->no () || ($ type instanceof MixedType && !$ type ->isExplicitMixed ()))
126126 && $ type ->isSuperTypeOf (TemplateTypeHelper::resolveToBounds ($ phpDocType ))->yes ()
127127 )
128128 ) {
You can’t perform that action at this time.
0 commit comments