Scala 3でMatchableに推論されたら警告かエラーにするcompiler plugin

scala.Matchable自体の解説はしませんが、AnyValやAnyやAnyRefや Product with Serializable と同様に、それに推論されたら、わりとミスなことが多い気がするので、作ってみました。

作ったばかりであまり試しておらず、色々雑なので、変な誤検知がある可能性はあります(?)

wartremover、こういう感じでScala 3対応をやっていくべきか・・・? 🤔

github.com

gist.github.com