Skip to content

Commit 5f80b16

Browse files
committed
Optimize interface methods comparison
1 parent 07b7408 commit 5f80b16

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: src/Compiler/MethodInjector.php

+1-1
Original file line numberDiff line numberDiff line change
@@ -130,7 +130,7 @@ public function inject(string $file, ClassMethod $method, array $invariants): Cl
130130
$postconditions[] = $invariant->getExpression();
131131
}
132132

133-
if (\is_array($method->stmts)) {
133+
if ($method->stmts !== null) {
134134
$method->stmts = $this->getDecorator($method->stmts, $preconditions, $postconditions);
135135
}
136136

0 commit comments

Comments
 (0)