{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":".lub(a_sig,"}]}
                .lub(a_sig, b_sig)
                .at(cause, self.param_env)
                .map(|ok| self.register_infer_ok_obligations(ok))?;