InheritorViolation

@psalm-inheritorsを使用するクラス/インターフェースが、その要件を満たさないクラスによって 拡張/実装された場合に発生します。

<?php
/**
 * @psalm-inheritors FooClass|BarClass
 */
class BaseClass {}

class BazClass extends BaseClass {}

// InheritorViolationが発生します。BaseClassはFooClass|BarClassによってのみ
// 拡張できますが、そうではありません
$a = new BazClass();

ユーザーノート

+ ユーザーノートを表示する

ユーザーノートについて

PHPマニュアルのように、マニュアルを補足する情報の共有を目的としてます。

• 掲示板ではありません。議論、質問、別のノートへの返信はできません。
• バグや改善要望、または翻訳の Issue は、該当する GitHub リポジトリで報告してください。
• ノートは事前の通知なく削除される場合があります。
• Giscussのコメントシステムを流用しています。そのためノートとしては最適化されてないことをご了承ください。
• 保証されていません。投稿したノートが消失する事やノート機能全体が閉鎖する可能性があります。
• お願い：いいノートにはup voteを、この規約に違反しているノートを見つけた場合は、優しくdown voteしてください。