[Chapel Merge] Fix not supported yet for overrided param args wit

Branch: refs/heads/main
Revision: c64476a
Author: mppf
Log Message:

Merge pull request #18433 from mppf/follow-18428-18023

Fix not supported yet for overrided param args with defaults

This adjusts the error check from #18023 to work after the function is
instantiated. It allows the future default-argument-class-override3a.chpl
to once again match its .bad file after PR #18428 changed related code.
In addition, it adds a new test that is a type variant of the above
test and that would hit an internal error before #18428.

Reviewed by @e-kayrakli - thanks!

  • [x] full local futures testing

  • [x] --verify testing

  • [x] gasnet testing

    Modified Files:
    A test/functions/default-arguments/default-argument-class-override3b.bad
    A test/functions/default-arguments/default-argument-class-override3b.chpl
    A test/functions/default-arguments/default-argument-class-override3b.future
    A test/functions/default-arguments/default-argument-class-override3b.good
    M compiler/resolution/virtualDispatch.cpp

    Compare: Comparing 1529b14a5c06...c64476af40e5 · chapel-lang/chapel · GitHub