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