Eclipse は間違った analisys を実行しているようです。メソッド test1 は問題ありませんが、メソッド test2 でエラーが発生します。
Null 型の安全性: String 型の式は、@NonNull に準拠するために未チェックの変換が必要です
public class TestCase {
public Object o;
@NonNull
public Object test1() {
Object local = new Object();
return local;
}
@NonNull
public Object test2() {
o = new Object();
return o;
}
}