mirror of
https://github.com/danog/psalm.git
synced 2024-12-15 02:47:02 +01:00
20 lines
442 B
Markdown
20 lines
442 B
Markdown
# MissingImmutableAnnotation
|
|
|
|
Emitted when a class inheriting from an immutable interface or class does not also have a `@psalm-immutable` declaration
|
|
|
|
```php
|
|
<?php
|
|
|
|
/** @psalm-immutable */
|
|
interface SomethingImmutable {
|
|
public function someInteger() : int;
|
|
}
|
|
|
|
class MutableImplementation implements SomethingImmutable {
|
|
private int $counter = 0;
|
|
public function someInteger() : int {
|
|
return ++$this->counter;
|
|
}
|
|
}
|
|
```
|