{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"uv.def,"}]}
                            uv.def,
                        ty::UserType::new(ty::UserTypeKind::TypeOf(
                            UserArgs { args: uv.args, user_self_ty: None },