Skip to content

Skip deep expression when root expression changes while scope generalization #13333

Skip deep expression when root expression changes while scope generalization

Skip deep expression when root expression changes while scope generalization #13333

Triggered via pull request September 29, 2025 10:17
Status Success
Total duration 3m 51s
Artifacts 145

issue-bot.yml

on: pull_request
Download data
31s
Download data
Matrix: Analyse
Evaluate results
41s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache
581 KB
sha256:2e09e36080a2bf2b7be2a37ce30f369cceb5777d2dc2acda51f21dd44ed7b6e3
playground-cache
545 KB
sha256:a0585adc6850b03b64d755f722b2c848b926422dc5d147fbfa5d9025ae6b5793
results-70300-1
9.4 KB
sha256:63685ca0c98f376757b273be80b08adc2fa8f14cc1a140e62ecfb1215c121278
results-70300-10
8.35 KB
sha256:3765b01c29dd3b834db80974c701b4a8eacbd74ad7a615a09a2f6edaae32efad
results-70300-11
9.24 KB
sha256:6af8bfa88d0ae7455b93953cea6674a591d9f942d535db85f4b13affcb8a3476
results-70300-12
10.7 KB
sha256:22282784a48407aa71ad86e955a369b23fb91e354ca6ddf7112147502823f374
results-70300-13
8.73 KB
sha256:14ab3d24a9832928da8c0b2a453c65cbae05f7af732f0c413669d34309eacdc4
results-70300-14
7.25 KB
sha256:226185ffcc3e51d0c2b1c7aae91baf90a49faa69726537c822fe70ff79afae21
results-70300-15
9.44 KB
sha256:1c54e894bbb62e7844623731b05c7a3608f5d47fee86f03062a77e9c9407206d
results-70300-16
10 KB
sha256:04219227cd6ff23814f902184c7c160796f276b596b6f7d1d0b47d140a533836
results-70300-17
9.03 KB
sha256:217e4a73a92887b34c9e6bd8227a597e893049490301143f19863a2d0b814caf
results-70300-18
9.51 KB
sha256:2d7525f21555afbf395557eae32d0873b8ea3bcb1042f6f808652712e3cceeec
results-70300-2
13.8 KB
sha256:20eba8d7ab5d20b3fb6f53e91d293c60fb5586e56e5e238a3a8955a2ee10a2d6
results-70300-3
7.45 KB
sha256:07bf26e1d88c473e2dd05c2e2ee87ff11550fe4972d33667c3a0a3db172d8eec
results-70300-4
7.47 KB
sha256:8e00544b6c0d09e872e752e1c4f85a0e8969083e6da19dcaf944d0f9a2457e9b
results-70300-5
8.37 KB
sha256:7e961f660ceddbdc5cd1b8cba7459051aa8444bb1fac5bab7222bded4aa5dae6
results-70300-6
8.99 KB
sha256:da87d7e67009aa09b67860029edf68683ed8d68ed30207fa7afac3f549ce38d0
results-70300-7
7.5 KB
sha256:5f8bde53572c5a32f625570dc2c82b07c6ca8ab357cdc045f73461c642381914
results-70300-8
9.45 KB
sha256:f3de620e732eb7b6a781b58d0696bfe3397edf05a05e717b2a39fe73d4de72d8
results-70300-9
9.11 KB
sha256:6fb858e6c99b1dcca4da185bcfd263d8bf1459a2fb1efac90d87f8ac2725e4c9
results-70400-1
9.16 KB
sha256:3e40fc7aeef3abc6726165b5e5a488aaefd2735481c601290dbac769b2a65f07
results-70400-10
8.3 KB
sha256:76f510ff4fc20e5adffc8058581456ef81108cdb1944a4eae32976ebdd9f2fa2
results-70400-11
9.19 KB
sha256:c33aa11bd7e37f74a3656b944d09d61ca3820a9c19309d013953abce8d51b446
results-70400-12
10.7 KB
sha256:5e3b16eb8f9093241dbacd5c74341e91bd615b142d2119ec43f5d1f747ddbbca
results-70400-13
8.73 KB
sha256:29132557583480827662e3da0e61c9caf7b3213ffb6d9dfd442b6566823d155f
results-70400-14
7.25 KB
sha256:6aa5f085a0fcbf108ef3483ff160eb7bf902ca6073d8061d2928469276aff99d
results-70400-15
9.44 KB
sha256:900cefe200138ddf8b6ef3c0044ed172477fcb652575948a9f70500649b29dd5
results-70400-16
10 KB
sha256:65355995584146ca865a0ed32220215555e55e411050641fe9726572f334cfa7
results-70400-17
9.03 KB
sha256:fb95ef7b954cb89e45e4593344ec377bcf567ed4aa250857542d7d5fe77b6488
results-70400-18
9.52 KB
sha256:6b5202a77f6617c030be8b78761b09425724b0556d43523912049db743a0bb79
results-70400-2
13.7 KB
sha256:0706e0fd4401aa1e2b00d334063499d8f4e57efafb3335f307d6bacce48cda0c
results-70400-3
7.45 KB
sha256:b039ab078955a3289c6937c1bdf6e81bf3d5ee731d344faaf460ae93b076ccf1
results-70400-4
7.47 KB
sha256:0a03bac4e3586ac19a1e15dd5aa936b2bbdfca1f334d4f8d3b9cf23805080af9
results-70400-5
8.37 KB
sha256:e4a3475a5b85218cda2fa93c6569c6e147b400caaa7ad894ce5d75b7031a80b1
results-70400-6
8.92 KB
sha256:1fda4a9964c497a93be4970945547c38be7e4e295bc63ec3cb22658b54f3480f
results-70400-7
7.45 KB
sha256:47a47e2d3a3e3793a688ba24ee173bc26daf54b2a022aaba90283458275ed550
results-70400-8
9.46 KB
sha256:c6c7830a7dc2832e7488105941cbb5d17ddf4d0468c4426d0b46c36abb013ed4
results-70400-9
9.11 KB
sha256:27a15ef2e017cf60833cd8e9c33017ad8f62e04cd6077d979d70614d6f9ad7ed
results-80000-1
7.1 KB
sha256:80c66944be946689f7b941c94a77a58df7d22733c86678b36e70f066b32252d8
results-80000-10
7.73 KB
sha256:8224d1636ac10742f31f0bc0e74e3e9320e72e9a6f4608e37e31311be5ee1b70
results-80000-11
8.02 KB
sha256:90e5f12756536e6923d82abcf9efd9e7694c53f49657dab6e2f3e7628d3480d1
results-80000-12
7.94 KB
sha256:1245a0517a5efd71e480a60c82979a5220e5de2e7c44300e1152815b9b170671
results-80000-13
7.58 KB
sha256:a29a5e5f0fa4477aae5696998d88e6c5433a4592bb44aafc2f366752fe96fdf5
results-80000-14
7.04 KB
sha256:a5da635d3ebdcc64a6dba58cbad79d8981020a0a3770e8547af7dec26679d9ce
results-80000-15
8.75 KB
sha256:4f7257dd874eaefacec4bfa91f7fc14262c41d4457cc25ebdf436f309aa238db
results-80000-16
8.34 KB
sha256:bc3bf538f0026f0c11aaba5ad579c247e58f50a5271956340b5538b9c00d7cf2
results-80000-17
7.25 KB
sha256:f2edf0a509d9e35548cdb9b86ecce2085906560d6a508bf68c8c09a1c4761410
results-80000-18
7.8 KB
sha256:e2bd6d345f31fc4f10dd014278b44140d82a83df389ab41e6997e72c71a80b43
results-80000-2
12.6 KB
sha256:2e32f43f44fd8880002e3e8b3a14b04402a730ef51e3ff64e056d152fcca1784
results-80000-3
6.8 KB
sha256:161754e2c792349c203640611e774854c0a709685bee2987688151ceba814496
results-80000-4
6.59 KB
sha256:de8dc87840461c99838f98297719fe333eca9877effeb16b6e9e894becd34f56
results-80000-5
7.32 KB
sha256:58db547abe06365a3c301f65654a2f89e40efe3271c0f741be867355cbf72c0a
results-80000-6
8.5 KB
sha256:6eb61fff0e4bc95bc4c75f4e2c1a8821615a13f994381a1724f1fa32e0ce4ef0
results-80000-7
6.73 KB
sha256:2699f18d79f39207759b815a5ba5eab768fe4c68de97b57a8a294f513b827178
results-80000-8
7.43 KB
sha256:27b284de9bfb0693af5bba1371042f8d0890b08336df99da51962c7a9a417597
results-80000-9
8.13 KB
sha256:b90b491ceb7a791cd9ae2b4bb2a8c7fe4103d415397e4424fa16ef23a5b8907b
results-80100-1
7.08 KB
sha256:be4dde770d5381ed2b0b591c553783098f5fd4c8b033a4bcf40b4fe9d6faff40
results-80100-10
8.04 KB
sha256:78c56350a354338d834221e5a29e17b85b61787c35126c38ac21a6a6f81ac0d7
results-80100-11
8.09 KB
sha256:4e6d33273ad02d14366b7c6edc3dcec9d2512c27db67cdb63f723edf19f3c0f1
results-80100-12
7.84 KB
sha256:b6fb4d20418f42f6e1fadd835f049017bff28de14e5ee527e7be59aa9783eb14
results-80100-13
7.62 KB
sha256:2733e87e3f641eb38c9d9a5c5a035474a60fc869efd000d5c7baf5ca640198d4
results-80100-14
7.04 KB
sha256:cb1fbacd49937c71200c211e1398341ce8fd4b085d676a3506fb06e2312c38a0
results-80100-15
8.93 KB
sha256:3227c341b4118fd680174eb72567078e2c5a7bce850c27afa15d3f62f00d9d16
results-80100-16
8.25 KB
sha256:9af9874879e991af3be75c385f574fd0d50c02e01f51a12a3d002d5fa9ae037a
results-80100-17
8.33 KB
sha256:1cf1b8d32d184837d359d3e0daec98764b3a0f5dc313888e80f336241d946f8d
results-80100-18
7.61 KB
sha256:20fe06fbc2df644cbfc1545141c7ce42d44af72ca9ec3319d6f682f136dbdf03
results-80100-2
12.8 KB
sha256:c9c66f7aa39ceb9d91d6cdf6fecb934d15fd043dd0f97edf1d422282e4b3fabe
results-80100-3
6.71 KB
sha256:5dd3c76f8f605583d1f6fdad4688a7c99cb6a0a20690663cb66a46813a957dec
results-80100-4
6.72 KB
sha256:75100ced066ef0ea9b748d2cbb14e5e8d2299f4a71db772a2bee39ba29fcf209
results-80100-5
7.33 KB
sha256:8b1dd62193b57596ecad504a8a646c13ef2c46e4d36e3ac709374258f584d894
results-80100-6
8.36 KB
sha256:dea348f94b088978712601ecc367c018a301553dfa47d7c7c9b6d5d94bb23534
results-80100-7
6.69 KB
sha256:d4a98c80bade2e68b1009294a67e75ad4374b336a1e30a058ac0635972a4fba4
results-80100-8
8.22 KB
sha256:9f3de523858a7857bce60b26ee69ce1c47f86e7fdb148a5a26ad072fc7c3c30c
results-80100-9
8.42 KB
sha256:08ef0eb80ee5fe72dc56db37ea8462aef4f6d6554a3dac30e5ccea9a845cbb28
results-80200-1
7.04 KB
sha256:9efca4b219afc4c31b2d9e32f802e1bf8dd529acda342945a879cf4a6f11307f
results-80200-10
7.9 KB
sha256:fa3849fb4f160d4a73db7f4756eb1b0ad690246d95bb4e1495342ef4a465b1f0
results-80200-11
8.08 KB
sha256:3918dce5de9e850b1f1c639cf048133bb2cd5ae60424f7d57c63dfaf5711914c
results-80200-12
7.84 KB
sha256:5573c2dc7821e386f7978f4da76074a6031fcaecd41bc49351da9268b9a91969
results-80200-13
7.69 KB
sha256:2420af0040b90ad9a0f9d653f6f4b7c8c22bd18dd834175d6c65aed73cd6f40f
results-80200-14
7.04 KB
sha256:de05355dfac27a42a9508ddcfc1c95236f7c1ba533e3e4adf044bd814e7e2d12
results-80200-15
8.88 KB
sha256:393faef27222e6376a0d8ea1792becd0b2e938cdee3bece8187aac00a612bcea
results-80200-16
8.11 KB
sha256:ad9d4e90b49d7c548681c6c8ba8ca18df7c74fdd53474e91ed74df951f9af46e
results-80200-17
8.2 KB
sha256:2ddb4ae38f1c8a8ef9bc704a2401ccb2b184fb79091dc422354deff1f0f255fb
results-80200-18
7.65 KB
sha256:d979cc9b1d37c417edf67eff0e8094602e4ad66542bf2273911015a705726a17
results-80200-2
12.8 KB
sha256:32ccf36a022c400dd73ae981a9d61c64bd8a31c36cc84e04e6c1f7cc22e455a3
results-80200-3
6.78 KB
sha256:531fecbbe4b9d9ace91fb57f94d96e3c54c7f603da17251a9fc0dd5ee93d61d0
results-80200-4
6.74 KB
sha256:4ba35a53ab9e9a30d54e016ce879e272bfa8921b6c4a7376976e9a84baa281e6
results-80200-5
7.28 KB
sha256:cfe33d44a3a75e391a3a6d33f4a28c4cc9efca38c85cf9cbb1396b1bf9c9bc59
results-80200-6
8.38 KB
sha256:6ec7d1f096aac6e55788f145ed5d8b2bef9072cba40fa2d7cb0a0c5f804da71e
results-80200-7
6.67 KB
sha256:3fc99b58fcbdb019b0d4de013738e67507182d6a89df7f4398bd68a8e2d39393
results-80200-8
7.87 KB
sha256:69fae0010f2776b1c4aba646fd3a6ca0d347f7492be08fed2c542bc70f8bd2d6
results-80200-9
8.3 KB
sha256:7d624447a4166c053a952b038b93b8bea8dad29925749d0b2ca7813b911d3cde
results-80300-1
6.95 KB
sha256:d1fd5690fb937f32034facf80827156c548b4f44d816ba7e9108f400bf9d4668
results-80300-10
7.9 KB
sha256:6dcc54eb457ffb447dc2243aa62fe26c6a04f09d7f77b05d2fa56481a24edf9e
results-80300-11
7.95 KB
sha256:52acbd001ec7ce129c9121389c5116383567ca45895ac6d9b4be50df1f00cb54
results-80300-12
7.86 KB
sha256:8f5355e45e1defde0a46990392924c91cfd8c6be977249b80d25010f2695361e
results-80300-13
7.69 KB
sha256:39c6a64cc887dc4d3d6444b620b910b7518a1ab4dbb2d50112ad2d7bb3af99e4
results-80300-14
7.04 KB
sha256:c5ce53785f79e1308e258e86fc3f8ab4adbcd5f8d32365b2b2806b552f02bc0b
results-80300-15
8.81 KB
sha256:1b9dd616eff8afe50b48484e77b4319fab2756effe7ae2d9637fa40bbda7fa1d
results-80300-16
8.05 KB
sha256:0d35aeace3c268ccb28521904c4c1dcbd19dd78b01ef90ccf8189cd440488f7d
results-80300-17
8.12 KB
sha256:5a70715b05ac06bac7573cd064daa147a934b568c3793dc9cefb445956dd0232
results-80300-18
7.52 KB
sha256:99b02de6d76fc03159d5f23dc8238622c6320814a6dd4b473350b9f190856d39
results-80300-2
12.7 KB
sha256:97df17e77a7ee134088b5e44815b2303de3c7eb362405b323b2ef7722a435179
results-80300-3
6.78 KB
sha256:5487dab0766434a285d7dcdbb2165ca8dd0e06fb50b6a9187d5aff80ac5bc29d
results-80300-4
6.74 KB
sha256:d276e56271944f995cecce367f9326c00c0facf17bf8be441457458b0f78f815
results-80300-5
7.28 KB
sha256:290b0faeb931017bf374128016e9f11d32d93218a4ed63b44061b4e86c08629a
results-80300-6
8.38 KB
sha256:7f8007836541f307b691d3ae01172c621aaddc1eb6c6ac9d4f91dbe0f51116b7
results-80300-7
6.67 KB
sha256:ff433270948469a538da5d29f2573b21565eeca545c322affef2509556a6beff
results-80300-8
7.87 KB
sha256:f82a941657581c1fcbcf344d3388a91c27aa25fd5d54362bfd52b0e0728ac02d
results-80300-9
8.22 KB
sha256:d1b46a7acdf5f7fc09ad45b8ed017f6781dfc9c9c42ee40a9d6e264578768237
results-80400-1
6.9 KB
sha256:6106e44f2d39bc8cbac441c5175f9c81402b041ce92f08bb39890e62328c9d07
results-80400-10
7.86 KB
sha256:ed5d2ad8b67a6775bf1a63f59873784fb037df1669905343cc1277c2f20ed3c6
results-80400-11
7.93 KB
sha256:8c8705d59e2f0905b82ba1492a07e03369a71aba6fd7d2827ec00b73d172da4f
results-80400-12
7.98 KB
sha256:72e611846644a748080367f7251e8301f248a00daeaf4b5e57d60759e4ec0677
results-80400-13
7.69 KB
sha256:d2a7d2e6d83f7332abc6ed4b08a61855a53125e95f57aaf70c35a540fa1a2bc3
results-80400-14
7.04 KB
sha256:29b1d8f91f6f6802bd09a85ee5f1fc7ee61c7914dab2065d40ec9d1e38aa4ad6
results-80400-15
8.74 KB
sha256:5a17e691d664a4e15a9841cc2c49e504312ce4d03ebe97ca95ed0af479de865e
results-80400-16
7.98 KB
sha256:7dd7b24ae7d02bbfe9f892f1cd75462ace7f1f8c011d12acdb00a76fe9ecd347
results-80400-17
8 KB
sha256:5c71c37ae8051125bcca5be81383f6d49d46d259350fdfd8f0144af64a6c08f0
results-80400-18
7.33 KB
sha256:39576696920b6eba32037ac6d9f09fe67bd2b03fbe7c750297a58a84dea650c3
results-80400-2
12.7 KB
sha256:b04d1c0195e2c0e9be3eb8e64edbffe41f5087241a7442d6b04ce7a9a1acbba1
results-80400-3
6.86 KB
sha256:420524185280e60fad4128e443e255263cd8b4efd67ec923436f31a4daf013e0
results-80400-4
6.72 KB
sha256:653d9b72556eaff0265968847623bc357ef0620bc266a2af6f6973e644d2929a
results-80400-5
7.28 KB
sha256:d65a90120cef0fe4a99cafd4091dcf2dbe3dd0c873f42098d06dd3635c26e1ab
results-80400-6
8.38 KB
sha256:c00041e2658c5a0368191defb2051f099ee92fdfdfba8eb3deb38b27082d43af
results-80400-7
6.65 KB
sha256:79727783d9504745b48930d13ffb103b3fb9d7150e6d4600ab5b98953e3f6636
results-80400-8
7.87 KB
sha256:af19b1a4c2a92c27fc66a9cb834485973d0c72b194d870183a8004cf6d7ad381
results-80400-9
8.22 KB
sha256:15c7e7954caa9ffefacbc43500cee94c6e5c2a5e990ce32920bc0e4e66e3220d
results-80500-1
1.09 KB
sha256:40501fc0b2ceed010f6f7610ec20294430d1b6e2c6980e69a1848bde6038ccc0
results-80500-10
885 Bytes
sha256:88c41ba95c3adfc79f278182c98cf372b8c0b817ba5db62b800a7b0cf2b468f7
results-80500-11
1.26 KB
sha256:dd333dd9953c6b826b97136b268ea930288a80e7edb2844aca826f0cfe61ddd2
results-80500-12
991 Bytes
sha256:4e9094059b4ac8d12dfa1b5d0315e6cff9393cbc9beeb0f460f0d653be18a651
results-80500-13
672 Bytes
sha256:41af09a052296ba1928764bc108cd47deee6f4ab4aedabc5029773ca73683b09
results-80500-14
1.1 KB
sha256:aae3f26567e5c3d6876b67a0c7ac889289737ccf8757f14f3d69695a4870c160
results-80500-15
925 Bytes
sha256:8f94a250f815e2771e37c8379e34436bff3023547921655738bf09496efb86d6
results-80500-16
1.05 KB
sha256:6334344b33ec9c0aad7d456d0a35cbb7ca3707cae292058b6cebb1e49b0ec770
results-80500-17
601 Bytes
sha256:0cabafc7a974280e538401cbd8a86a0d0825c2b2edc66df2c4176bedcb9a5db4
results-80500-2
848 Bytes
sha256:3a92760f28e2898992d17b177a4ec37f348d0b56a9b397c574d72aca39862c22
results-80500-3
963 Bytes
sha256:bdd7dd7473a8ded1ebe5b59112df9fe86d331662179b153dd4d1344816e94d0f
results-80500-4
860 Bytes
sha256:819d367d56edea7a6472bb44c2a5d2c9ca7779c2bf732cd01053b91e8d3d4905
results-80500-5
1000 Bytes
sha256:bdf232cab6220cab6b64bbc1439ee8f2bb1d50cd5882e199949827a247652c53
results-80500-6
922 Bytes
sha256:8604ce413f676ff35acb7561687ef5a3197d6b86e3ffaea15dec0f701a40051f
results-80500-7
846 Bytes
sha256:66aee5cd0676d20191c578ca27967c82d19881871fe59b81bf1e7d8c43176fd8
results-80500-8
1.2 KB
sha256:3a3457dbe5710e5bcd7c683ecdf058e2c47c45e79bc46a153d803ca6f172076c
results-80500-9
1.09 KB
sha256:b0149125c25907a37d034deba3a1ea33ff210bc9f86a5f79ee127ff2b3dce2ba