やったこと

NoReturnの検出に関して

#4756で@RX14がどうしてNoReturnに対してメソッドが呼べるんだろう、みたいなことを言っていたので試しにちょっと実装してみたのだけど、その件。

コメントに書いたのだけどこれはものすごく難しい話で、現在のCrystalの仕組みだとかなり面倒だと思う。というのもメソッドのインスタンス化を基本的にクラス毎に行い、基底クラスのメソッドも継承先のクラスでもインスタンス化されるので、その際にNoReturnになるものを特定するのがすごく難しい。まあガチれば2、3日で実装できるかもしれないけど、ガチる必要のある機能だとも思わない。ぶっちゃけそんなに便利じゃない。