俺の欲しいのとしてはこんな感じ：
String! s; s = null; // 文法エラー
String t = null; s = t; // 実行時エラー

public void hoge(final String! s){
s.~~(); // 絶対にNullPointerExceptionがおこらない
}

class Hoge<T!>{ }
List<Object!> o = anotherList; // 要素がnullでもとおっちゃうなあ…