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