{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"(lane_idx"}]}
            (lane_idx + 1) * lane_layout.size <= orig_lane_count * fx.layout_of(orig_lane_ty).size
        assert!(
        );