この機能はSI-6186によって削除されたようであり、それを置き換えるメカニズムはありませんでした
コミットメッセージで次の発言を見つけました。
ここで、マクロ impl から TypeTag を禁止することで壊れたバランスを回復します。これにより、誰もが AbsTypeTags を使用する必要があり、抽象型の存在について入力をチェックしたい場合は、手動で行うことができます。
「抽象型の存在」と「それを手動で行う」とはどういう意味ですか? 誰かがこれらについて具体的な例を教えてもらえますか?