{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"))),"}]}
                ))),
                    ptr.cast::<ty::RegionKind<'tcx>>().as_ref(),
                TYPE_TAG => GenericArgKind::Type(Ty(Interned::new_unchecked(