contract test { constructor() virtual {} } // ---- Expect: diagnostics ---- // error: 3:13-34: constructors cannot be declared 'virtual'