1  Error [ETYC0372156]: A 'noupgrade', 'admin', or 'checksum' constructor must be empty. The Adl compiler will insert the appropriate code.
 2      --> compiler-test:4:5
 3       |
 4     4 |     @noupgrade
 5       |     ^^^^^^^^^^
 6     5 |     async constructor() {
 7       |     ^^^^^^^^^^^^^^^^^^^^^
 8     6 |         assert_eq(self.edition, 0u16);
 9       |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
10     7 |     }
11       |     ^