Avoid non-portable use of $< outside an inference rule.