{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
        // If this happens in a debug build, ICE to make it easier to notice.
        );
        debug_assert!(false, "Improper source region: {coords:?}");