{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
                    // Determine the type of the thing we are indexing.
                    && let Some(idx) = c.const_.try_eval_target_usize(self.tcx, self.typing_env)
                    && let ty::Array(_, len) = place_base.ty(self.body, self.tcx).ty.kind()