Fix marking of default constructor constraint