Oh, did you forget to convert this to a `match`? (Also, theoretically this might need to handle `SHL` too, e.g. iirc `Option<<'a>||>` is a valid type.)