Also, I realize that in this specific case the "added" constraints duplicate those specified in the interface, but the spec says "no parameter constraints may be declared." :|

Yes I'm not a big fan of it but HV is more permissive that what the spec requires: if the constraints are identical, it does not throw an error.

That's why we missed these ones.

Thanks for raising the issue and for the PR.