推論される型が変数の必要な型と一致していないインスタンスとクラス変数の代入を報告します。 必要な変数の型は RBS 型シグネチャーから取得されます。