验证方法的内容,支持以下检查
方法具有定义的返回值类型 + 快速修复
需要时方法未返回
方法返回值类型与其父类型不匹配 + 快速修复
无法到达的代码检测
返回值检测的所有代码路径
构造函数 super 验证
2.2.4