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