inconsistent.mustcall.subtype=%s is annotated as %s, but one of its supertypes is annotated %s
createsobligation.target.unparseable=The method %s is annotated as @CreatesObligation, but the target (%s) was unparseable in the current context. Rewrite your code so that the relevant expression is a local variable.