{"ast_node_type":"variable","tokens":[{"end":86,"kind":"keyword","start":0,"text":"let"}]}
                let Some(field) = map.apply(variant_place, TrackElem::Field(i)) else {
                let ty = field.ty(*ecx.tcx, args);
                    throw_machine_stop_str!("missing field in ADT")