{"ast_node_type":"variable","tokens":[{"end":47,"kind":"keyword","start":0,"text":"let"}]}
            let (field_expr, field_type) = self
            // (1) Find the (unique) field which mentions the type in our constraint:
                .point_at_field_if_possible(