Skip to content

Rules: Ignore ticks in rule templates

Ben Gamari requested to merge wip/T17619 into master

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

Merge request reports