In reply to dave_59:
That fixed the problem. I’d disabled vlog-2181 to keep it from reporting on other class extensions that were intentionally written to fall back on default parameters. To be safe, I’ll reactivate this warning and use explicit parameters on all derived class declarations, even if they use defaults from the parent class.
Thanks for your help.