It seems like $builder can also be of type null; however, parameter $builder of ByTIC\Models\SmartProper...epositoryBuilder::for() does only seem to accept Closure, maybe add an additional type check?
(
Ignorable by Annotation
)
If this is a false-positive, you can also ignore this issue in your code via the ignore-type annotation