20.12 Annotations We Might Want in the Future
• target-invalid
the target might have changed (registers, heap contents, or execution status). For
performance, we might eventually want to hit registers-invalid and
all-registers-invalid with greater precision
• systematic annotation for set/show parameters (including invalidation notices).
• similarly, `info' returns a list of candidates for invalidation notices.
20.12 Annotations We Might Want in the Future 305