[Chapel Merge] Improve error message for noinit without a type

Branch: refs/heads/master
Revision: 9b3973c
Author: mppf
Log Message:

Merge pull request #16796 from mppf/issue-16794

Improve error message for noinit without a type

Resolves #16794

When split-init is combined with noinit, it is possible to noinit
something without a type. This case was not caught by previous checking
and ran into an internal error. This PR improves that error to a better
user-facing one.

Reviewed by @dlongnecke-cray - thanks!

  • [x] full local futures testing

Modified Files:
A test/expressions/noinit/generic-type-split.chpl
A test/expressions/noinit/generic-type-split.good
A test/expressions/noinit/no-type-split-class.chpl
A test/expressions/noinit/no-type-split-class.good
A test/expressions/noinit/no-type-split.chpl
A test/expressions/noinit/no-type-split.good
M compiler/passes/InitNormalize.cpp
M compiler/resolution/functionResolution.cpp

Compare: https://github.com/chapel-lang/chapel/compare/27962e5c3cfa...9b3973ca4db5