Well, I *did* fix the message to say "irrefutable" instead of "refutable", so technically, this test would flag the previous behavior as wrong.  :)

I can throw in the static constant bit, I guess.  I don't know what rhyme or reason is typically followed when deciding how much of the error message to include.  (I've been idly trying to figure out if I could actually point the user at the span of the relevant import or definition of the static constant, to make things crystal clear...)