{"ast_node_type":"variable","tokens":[{"end":96,"kind":"keyword","start":0,"text":"let"}]}
                let ty = structurally_normalize(self.ty).builtin_deref(true).unwrap_or_else(|| {
            ProjectionElem::Deref => {
                    bug!("deref projection of non-dereferenceable ty {:?}", self)