Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1u0WwO-002jv5-Hb for pgsql-committers@arkaria.postgresql.org; Fri, 04 Apr 2025 02:37:56 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1u0WwN-00CQQh-AW for pgsql-committers@arkaria.postgresql.org; Fri, 04 Apr 2025 02:37:55 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1u0WtQ-00CPBO-U0 for pgsql-committers@lists.postgresql.org; Fri, 04 Apr 2025 02:34:52 +0000 Received: from mahout.postgresql.org ([2001:4800:3e1:1::227]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1u0WtO-003Gqp-1H for pgsql-committers@lists.postgresql.org; Fri, 04 Apr 2025 02:34:52 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=postgresql.org; s=20171124; h=Date:Message-Id:Subject:To:From:MIME-Version: Content-Type:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:In-Reply-To:References; bh=xM27keTRpXMWeYhNbP9FQxPpCnPsq0lDRhok+kowtG4=; b=df0Hf1DrXztPAMu7vvflVRG7ZI mWxJc4Ov61MG2+S7mwgFU7xklx6Uwn9U41gzT5LX+dHGcj8pw2M2yfVto2TQVd3Q1WWO2YoGHcFyg iZRycZ6NSp90aUuHHEfCMmgR92W+GtVBFiCXJrTsDjHkylOOXXGalGby4jcLME/f4p4i7gdt+vQQa yWIQ0m+5wOugTXEX8bO854xYfZzj5J5xLFo/qTGvzrfrpiyXhZftGl6sXf3YLf8kXSjHgBJTX11om uLrIq43S7p/cftWIp2bpMiq5kgJeafVjnbohgCHyIJJT+wp09b7F4puinavcY57PqDdrMu7LMzO9A amgFMyIg==; Received: from gemulon.postgresql.org ([2001:4800:3e1:1::198]) by mahout.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1u0WtM-00HRCk-Tr for pgsql-committers@lists.postgresql.org; Fri, 04 Apr 2025 02:34:48 +0000 Received: from localhost ([127.0.0.1] helo=gemulon.postgresql.org) by gemulon.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1u0WtM-002Yc0-1M for pgsql-committers@lists.postgresql.org; Fri, 04 Apr 2025 02:34:48 +0000 Content-Type: multipart/mixed; boundary="===============4102434751263387164==" MIME-Version: 1.0 From: Amit Langote To: pgsql-committers@lists.postgresql.org Subject: pgsql: Add assertion to verify derived clause has constant RHS X-Auto-Response-Suppress: All Auto-Submitted: auto-generated Message-Id: Date: Fri, 04 Apr 2025 02:34:48 +0000 List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============4102434751263387164== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 QWRkIGFzc2VydGlvbiB0byB2ZXJpZnkgZGVyaXZlZCBjbGF1c2UgaGFzIGNvbnN0YW50IFJIUwoK ZmluZF9kZXJpdmVkX2NsYXVzZV9mb3JfZWNfbWVtYmVyKCkgc2VhcmNoZXMgZm9yIGEgcHJldmlv dXNseS1kZXJpdmVkCmNsYXVzZSB0aGF0IGVxdWF0ZXMgYSBub24tY29uc3RhbnQgRXF1aXZhbGVu Y2VNZW1iZXIgdG8gYSBjb25zdGFudC4KSXQgaXMgb25seSBjYWxsZWQgZm9yIEVxdWl2YWxlbmNl Q2xhc3NlcyB3aXRoIGVjX2hhc19jb25zdCBzZXQsIGFuZAp3aXRoIGEgbm9uLWNvbnN0YW50IG1l bWJlciB0aGUgRXF1aXZhbGVuY2VNZW1iZXIgdG8gc2VhcmNoIGZvci4KClRoZSBtYXRjaGVkIGNs YXVzZSBpcyBleHBlY3RlZCB0byBoYXZlIHRoZSBub24tY29uc3RhbnQgbWVtYmVyIG9uIHRoZQps ZWZ0LWhhbmQgc2lkZSBhbmQgdGhlIGNvbnN0YW50IEVxdWl2YWxlbmNlTWVtYmVyIG9uIHRoZSBy aWdodC4KCkFzc2VydCB0aGF0IHRoZSBSSFMgaXMgaW5kZWVkIGEgY29uc3RhbnQsIHRvIGNhdGNo IHZpb2xhdGlvbnMgb2YgdGhpcwpzdHJ1Y3R1cmUgYW5kIGVuZm9yY2UgYXNzdW1wdGlvbnMgbWFk ZSBieQpnZW5lcmF0ZV9iYXNlX2ltcGxpZWRfZXF1YWxpdGllc19jb25zdCgpLgoKQXV0aG9yOiBB c2h1dG9zaCBCYXBhdCA8YXNodXRvc2guYmFwYXQub3NzQGdtYWlsLmNvbT4KUmV2aWV3ZWQtYnk6 IEFtaXQgTGFuZ290ZSA8YW1pdGxhbmdvdGUwOUBnbWFpbC5jb20+CkRpc2N1c3Npb246IGh0dHBz Oi8vcG9zdGdyLmVzL20vQ0FFeEhXNXNjTXh5RlJxT0ZFNk9EbUJpVzJyblZCRW1lRWNBLXA0V19D eXVFaWtVUmRBQG1haWwuZ21haWwuY29tCgpCcmFuY2gKLS0tLS0tCm1hc3RlcgoKRGV0YWlscwot LS0tLS0tCmh0dHBzOi8vZ2l0LnBvc3RncmVzcWwub3JnL3BnL2NvbW1pdGRpZmYvODg3MTYwZDFi ZWFlYzYwNzE4NzI2MWFiMWE5NDExMDQwZGEzZDdiNQoKTW9kaWZpZWQgRmlsZXMKLS0tLS0tLS0t LS0tLS0Kc3JjL2JhY2tlbmQvb3B0aW1pemVyL3BhdGgvZXF1aXZjbGFzcy5jIHwgMyArKysKMSBm aWxlIGNoYW5nZWQsIDMgaW5zZXJ0aW9ucygrKQoK --===============4102434751263387164==--