Ah, I see. I was just following the prefix naming of other `compile_fail` tests before.