// constant otimization not there yet, -Yopt:nullness-tracking not enough.