I think we have this logic already somewhere in the compiler. Would be good to unify it, because if things change in the future, (e. g. allowing `\0` again) we will probably miss it in one case or another.