Unfeature: disallow "*" in a nonterminal position in the observe mini-language#1525

Merged

mdickinson merged 3 commits intomainfrom unfeature/disallow-anytrait-in-nonterminal-position

Sep 16, 2021

+44-68

Commits on Sep 15, 2021