{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"self.relate_bound(v,"}]}
                self.relate_bound(v, b, a)?;
                let v = infcx.next_ty_var(self.trace.cause.span);
                Ok(v)