{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"self.relate(a,"}]}
                        self.relate(a, b)
                        let b = infcx.instantiate_binder_with_fresh_vars(span, HigherRankedType, b);
                    })?;