{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"ecx.project_downcast(place,"}]}
                        ecx.project_downcast(place, variant_idx).unwrap(),
                    (
                        &branches[1..],