// REQUIRED_ARGS: -o-
deprecated("a" ~ "b") module fail12567;