I'm not sure that I can quite say. The idea of annotations being somewhat implicitly passed, the symmetry with `HasCallStack`: it appeals to me. I guess it's not a very strong preference.