

ImmutableDependency

Emitted when an mutable class inherits from an immutable class, trait or interface.

<?php

/** @psalm-immutable */
class ImmutableParent {
    public int $i = 0;

    public function getI(): int {
        return $this->i;
    }
}

final class MutableChild extends ImmutableParent {
    public function setI(int $i): void {
        $this->i = 123;
    }
}

// This is bad because when passing around an ImmutableParent instance,
// we might actually be passing around a MutableChild.  

Will also be emitted for classes marked @psalm-pure or @psalm-capabilities, and for a method override that needs more capabilities than the method it overrides:

<?php

abstract class Parent_ {
    /** @psalm-pure */
    abstract public function get(): int;
}

final class Child extends Parent_ {
    /** @psalm-capabilities write-this-props */
    public function get(): int { return 1; } // needs more than the pure method it overrides
}

Will also be emitted for a class extending a class with @psalm-taint-specialize without having it: the class is specialized, and held to the rules of specialized classes, all the same.

<?php

/** @psalm-taint-specialize */
class User {
    public function __construct(public string $name) {}
}

final class Admin extends User {}

To fix, make the child need the same (or fewer) capabilities than the parent, or vice versa.

See class-level contracts and overrides in the purity model.