{"ast_node_type":"variable","tokens":[{"end":93,"kind":"keyword","start":0,"text":"let"}]}
            let target_ty = if self.use_lub { self.next_ty_var(self.cause.span) } else { b };
            // Two unresolved type variables: create a `Coerce` predicate.