{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"None"}]}
                None => {
            let full_hash = match ty_and_hash {
                    let hash = self.tcx.type_id_hash(elem_ty).as_u128();