@glenjamin yeah, I was just following existing patterns.  I'm not sure I understand the code well enough to write such an assertion; this PR was mostly copy-paste and pattern-matching.