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 1uibYw-00DcTt-9x for pgsql-bugs@arkaria.postgresql.org; Sun, 03 Aug 2025 16:27:54 +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 1uibYu-00E7zx-Sq for pgsql-bugs@arkaria.postgresql.org; Sun, 03 Aug 2025 16:27:52 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1uibNZ-00E7JA-Cc for pgsql-bugs@lists.postgresql.org; Sun, 03 Aug 2025 16:16:09 +0000 Received: from mahout.postgresql.org ([2001:4800:3e1:1::227]) by makus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1uibNT-000X2U-1V for pgsql-bugs@lists.postgresql.org; Sun, 03 Aug 2025 16:16:08 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=postgresql.org; s=20171124; h=Message-ID:Date:Reply-To:Cc:From:To:Subject: MIME-Version:Content-Type:Sender:Content-Transfer-Encoding:Content-ID: Content-Description:In-Reply-To:References; bh=hVdANgnbej5sctc4YY/b7z/DBUjJPN1XO2kvx0oc4I4=; b=zo6iC983GnuXFcJAemub29caM9 GwM3sZQMhHn8sQsR86txszfd8YlQhmPLfWtkANXNSwAKHqtJP0crJGXb3bLLdDz/y5dnslzo54K3Z mKW4mI0HUk0DXAy3c7qA0jm+07fOLG8lSWS+4H4C0Tn1AvUk9bRJJy0FShUxOf0mcXAwfzmP1dIBa ZhP8ESDW1n0NFtkiqf0ibpWUGZNPcwjU/G1dv8DS5NTm8En1zoCbTSGKHFTH+BPN3r2YktrNTy8/+ rT8m8i/iAzgbvz7X+n3Idaw26fCjyO2EV3f9SyoPTHaNAaYuRv+59kNu5aIXBy2QsOauCZ+aNPfhK RPQyUDMA==; Received: from wrigleys.postgresql.org ([2a02:16a8:dc51::60]) by mahout.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1uibNT-001Uli-DC for pgsql-bugs@lists.postgresql.org; Sun, 03 Aug 2025 16:16:03 +0000 Received: from localhost ([127.0.0.1] helo=wrigleys.postgresql.org) by wrigleys.postgresql.org with esmtp (Exim 4.96) (envelope-from ) id 1uibNS-002kie-0n for pgsql-bugs@lists.postgresql.org; Sun, 03 Aug 2025 16:16:02 +0000 Content-Type: multipart/mixed; boundary="===============0813855146175428412==" MIME-Version: 1.0 Subject: BUG #19007: Planner fails to choose partial index with spurious 'not null' To: pgsql-bugs@lists.postgresql.org From: PG Bug reporting form Cc: bryfox@gmail.com Reply-To: bryfox@gmail.com, pgsql-bugs@lists.postgresql.org Date: Sun, 03 Aug 2025 16:15:10 +0000 Message-ID: <19007-4cc6e252ed8aa54a@postgresql.org> X-Auto-Response-Suppress: All Auto-Submitted: auto-generated List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk --===============0813855146175428412== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 VGhlIGZvbGxvd2luZyBidWcgaGFzIGJlZW4gbG9nZ2VkIG9uIHRoZSB3ZWJzaXRlOgoKQnVnIHJl ZmVyZW5jZTogICAgICAxOTAwNwpMb2dnZWQgYnk6ICAgICAgICAgIEJyeWFuIEZveApFbWFpbCBh ZGRyZXNzOiAgICAgIGJyeWZveEBnbWFpbC5jb20KUG9zdGdyZVNRTCB2ZXJzaW9uOiAxNy41Ck9w ZXJhdGluZyBzeXN0ZW06ICAgTGludXg7IG1hY09TCkRlc2NyaXB0aW9uOiAgICAgICAgCgpJJ20g bm90IHN1cmUgaWYgdGhpcyBpcyBhIGJ1ZywgYnV0IHRoZSBiZWhhdmlvciB3YXMgdW5leHBlY3Rl ZCB0byBtZSBhbmQKY2hhbmdlZCBzaW5jZSB2MTYuIERvY3VtZW50YXRpb24gZG9lc24ndCBtZW50 aW9uIHRoaXMgYXMgZmFyIGFzIEkgY2FuIHNlZS4KClRoaXMgZXhhbXBsZSBoYXMgYSBwYXJ0aWFs IGluZGV4IG92ZXIgb25lIGNvbHVtbiB3aGVyZSBhbm90aGVyIGNvbHVtbiBpcyBub3QKbnVsbC4g VGhlIGxhdHRlciBjb2x1bW4gaXMgaW4gZmFjdCAnbm90IG51bGwnIGluIHRoZSBzY2hlbWEuCgpQ cmlvciB0byB2MTcsIHRoaXMgaW5kZXggd291bGQgYmUgdXNlZDsgaW4gdjE3LCB0aGUgcGxhbm5l ciB3aWxsIGNob29zZSBhCnNlcXVlbnRpYWwgc2NhbiBpbnN0ZWFkLgoKT2YgY291cnNlLCB0aGlz IHNldHVwIGlzIGEgbGl0dGxlIHNpbGx5IGFuZCBlYXN5IHRvIHJlbWVkeS4gSW4gcmVhbGl0eSwg d2UKaGFkIGEgbW9yZSBjb21wbGljYXRlZCBpbmRleCBhbmQgdGhlIGNvbHVtbiB3YXMgbnVsbGFi bGU7IGxhdGVyLCBzb21lb25lCm1hZGUgYSBjb2x1bW4gJ25vdCBudWxsJzsgbGF0ZXIsIHdlIHVw Z3JhZGVkIHRvIHYxNy4gYGxhc3RfaWR4X3NjYW5gIGRpZAptYWtlIHRoaXMgZWFzaWVyIHRvIHNw b3QsIHRob3VnaC4KCgotLSBzZXR1cApjcmVhdGUgdGFibGUgZXhhbXBsZSAoaWQgaW50LCB2YWx1 ZSBmbG9hdCBub3QgbnVsbCwgZmxhZyBib29sIG5vdCBudWxsKTsKCmluc2VydCBpbnRvIGV4YW1w bGUKICAgIHNlbGVjdCBnZW5lcmF0ZV9zZXJpZXMoMSwgMTAwXzAwMCkgaWQsIHJhbmRvbSgpIHZh bHVlLCB0cnVlIGZsYWc7CgpjcmVhdGUgaW5kZXggbmV3X2lkeCBvbiBleGFtcGxlIHVzaW5nIGJ0 cmVlICh2YWx1ZSkgd2hlcmUgZmxhZyBpcyBub3QgbnVsbDsKCi0tIHF1ZXJ5CmV4cGxhaW4gYW5h bHl6ZQpzZWxlY3QgKiBmcm9tIGV4YW1wbGUgd2hlcmUgdmFsdWUgPCAwLjEgYW5kIGZsYWcgaXMg bm90IG51bGw7CgoKdjE3IHBsYW46CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICBRVUVSWSBQTEFOCi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLQogU2VxIFNjYW4gb24gZXhhbXBsZSAgKGNvc3Q9MC4wMC4uMTg4 Ny4wMCByb3dzPTMzMzMzIHdpZHRoPTEzKSAoYWN0dWFsCnRpbWU9MC4wMTAuLjUuODE2IHJvd3M9 OTk1MSBsb29wcz0xKQogICBGaWx0ZXI6ICh2YWx1ZSA8ICcwLjEnOjpkb3VibGUgcHJlY2lzaW9u KQogICBSb3dzIFJlbW92ZWQgYnkgRmlsdGVyOiA5MDA0OQoKCnYxNiBwbGFuOgogICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgUVVFUlkgUExBTgot LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tCiBCaXRtYXAgSGVhcCBTY2FuIG9uIGV4YW1wbGUgIChjb3N0PTYyNS4zNC4uMTY3Ni45 MiByb3dzPTMzMTY3IHdpZHRoPTEzKQooYWN0dWFsIHRpbWU9MS4wMjMuLjIuNzEwIHJvd3M9OTk3 OSBsb29wcz0xKQogICBSZWNoZWNrIENvbmQ6ICgodmFsdWUgPCAnMC4xJzo6ZG91YmxlIHByZWNp c2lvbikgQU5EIChmbGFnIElTIE5PVCBOVUxMKSkKICAgSGVhcCBCbG9ja3M6IGV4YWN0PTYzNwog ICAtPiAgQml0bWFwIEluZGV4IFNjYW4gb24gbmV3X2lkeCAgKGNvc3Q9MC4wMC4uNjE3LjA0IHJv d3M9MzMxNjcgd2lkdGg9MCkKKGFjdHVhbCB0aW1lPTAuOTM2Li4wLjkzNyByb3dzPTk5NzkgbG9v cHM9MSkKICAgICAgICAgSW5kZXggQ29uZDogKHZhbHVlIDwgJzAuMSc6OmRvdWJsZSBwcmVjaXNp b24pCgo= --===============0813855146175428412==--