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