{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
        // This shouldn't happen, yet it does. I assume this might be due to an incorrect token
    if ctx.source_range().end() < receiver_range.start() {
        // mapping.