/test/files/run/macro-impl-tparam-typetag-is-optional/