description = "pavex supports trait methods as constructors" [expectations] codegen = "pass"