/tests/pending/run/macro-typecheck-macrosdisabled/