{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"let"}]}
            let Some((field_index, field_type)) = is_iterator_singleton(
            // (1) Find the (unique) field index which mentions the type in our constraint:
                in_ty_adt