{"ast_node_type":"impl","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
                // While this requires us to know *for sure* that the `lhs` impl applies
                //
                // we still use modulo regions here. This is fine as specialization currently