メソッドの内容を検証します。次のチェックをサポートしています
メソッドに戻り値の型が定義されている + クイックフィックス
メソッドが必要時に戻り値を返していない
メソッドの戻り値の型が親と一致しない + クイックフィックス
到達不能コードの検出
すべてのコードパスが値を返すことの検出
コンストラクターの super の検証
2.2.4