{"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"let"}]}
    let is_constant_place = |place: Place<'_>| {
    //   including DEF. This violates the DEF dominates USE condition, and so is impossible.
        // We only allow `Deref` as the first projection, to avoid surprises.