Add "Must not evaluate to `null`."