Fixes constructor constraint diagnostics