Rules: Ignore ticks in rule templates
This fixes #17619 (closed), where a tick snuck in to the template of a rule,
resulting in a panic during rule matching. The tick in question was
introduced via post-inlining, as discussed in Note [Simplifying rules]
. The solution we decided upon was to simply ignore ticks in the
rule template, as discussed in Note [Tick annotations in RULE matching]
.
Fixes #18162 (closed). Fixes #17619 (closed).
Edited by Ben Gamari