psalm/docs/running_psalm/issues/UndefinedInterface.md

UndefinedInterface

Emitted when referencing an interface that doesn’t exist but does have an identically-named class.

<?php

class C {}

interface I extends C {}