{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"with(|cx|"}]}
        with(|cx| cx.def_ty_with_args(self.0, args))
    pub fn ty_with_args(&self, args: &GenericArgs) -> Ty {
    }