Skip to content

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

Skip deep expression when root expression changes while scope generalization

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

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

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
581 KB
sha256:30429f6a04b593af0091cf369bf53e64c1ff2f266461d619c276cf0feffc8d6d
playground-cache
545 KB
sha256:496b54c96b4bd8008a31cbe802c3c5e52f6eb9f573ebc1f8479176ecf1848e2f
results-70300-1
9.4 KB
sha256:75ce01cdbc07a0c905ca0405983186775fcf695c80e41fb036de5f2ee5caf8f5
results-70300-10
8.35 KB
sha256:3769ee6122b30d3af6147499882e1dca59bbac1b40ded13b6a45cd8c15eb62e1
results-70300-11
9.24 KB
sha256:373befb9b091e7a4d8f2ac55a58b5a8098b1dc80af4bc491b80ce21a18f093e8
results-70300-12
10.7 KB
sha256:4413e24db866d6ea20aa1e45a6d14b222b92d07e9d4fafa2f0345ce3ac5520fa
results-70300-13
8.73 KB
sha256:d724c236dde2200bac6df567fca72bb54ff28660ac719b3c81abbf405c7d45c7
results-70300-14
7.25 KB
sha256:77e2c8b966c1dcafe7ec330834924fb601b631929c4b7c5f6931d55025815fce
results-70300-15
9.44 KB
sha256:24a80822fd836a3ecac89095c68218dec075f616c0827d921e301d3a8958173f
results-70300-16
10 KB
sha256:38ffe6424f7aded9cf37b62dfd2457a8f4f8bf3e747dd8e7f036d441b738e155
results-70300-17
9.03 KB
sha256:b3cb4a8566ba579f969ef80db8ad7221a05bff840a6c4733aa995880f92a2714
results-70300-18
9.51 KB
sha256:b57678b321fd55eb410ae75b939b0d75f5310cbf53534cd65a8d30a8b64b4614
results-70300-2
13.8 KB
sha256:751294394a521545756932f4ebc6d46f6784b10297f7d813c461c4e8cb705ce9
results-70300-3
7.45 KB
sha256:63a4a80d50e2a386ce95dcf6290e0d8c993bf96c86c4e2320d3c1d64ee77dff6
results-70300-4
7.47 KB
sha256:3d7b4b3e3949462207dc78e6153573c865d5eeab2b55d423b46791fa78f120c9
results-70300-5
8.37 KB
sha256:71aece4d0ca688991f8364e91089abcd48bb8dc727ec8d9b0e0d8483f4d7e656
results-70300-6
8.99 KB
sha256:708239f54bb5e620b0fcf93a6c1e2acf7656844071a5880e6639352fc6cb6ec9
results-70300-7
7.5 KB
sha256:a512414af08c0d71b4ae380fd532682d6e5e61c8212fa7c91dbb1d5f558f7ebd
results-70300-8
9.45 KB
sha256:1ee8d60ce90655d49e3f3764bbd4a2fbfe14d116ee21528e87730014f9f24aff
results-70300-9
9.11 KB
sha256:c88c4c35358e4f433e71774915d27884360d5dbd6507ed1514d38da6c2eba447
results-70400-1
9.16 KB
sha256:12823ee9bfefba574ec17268fb9a07385d320e3901737691d6b48a123373c451
results-70400-10
8.3 KB
sha256:b5cbc64895e9bd7fbacb8c0113ade844825abf529ad81d60ecbf87bfda6cc6b3
results-70400-11
9.19 KB
sha256:8e93d87bc655ce5b9b47ea17cfd7af265af5406762a8756e858692536e14f12b
results-70400-12
10.7 KB
sha256:554419cbae7b69d45f0a23565a3ca9eb3a9e4c61dde26d5e7fb4e8f2a951637c
results-70400-13
8.73 KB
sha256:67eed226d0a714606dcb18f56581b19c35ca8e1b81dd53c53b882a062c80fc64
results-70400-14
7.25 KB
sha256:e1aef08f8381f8723a9a42fb134f9026dbe9f9ff6e8c40f5cfb91b62379cb444
results-70400-15
9.44 KB
sha256:4e67b0260843f44cfb85447b5f7d910e82ca669dd339b0d6de15b8bb2359ad9d
results-70400-16
10 KB
sha256:77b9b322e18ec9696ba06534b77ded960c1c918711bd706c7a2257552ea1a015
results-70400-17
9.03 KB
sha256:72394e2ce8f64451b7cc4f00ab031d86ed8a703554db3660855163e92de72e51
results-70400-18
9.52 KB
sha256:62662293b03731c96dcfa6900ebe0d67cb14899c38df0538eb12524d5cb08cd7
results-70400-2
13.7 KB
sha256:0682c98a307f7ebeb7651a60b162bfa4f4a56cad846f18aa5c41f81def73375e
results-70400-3
7.45 KB
sha256:3ac732e3feb7ea40db59edb1136cc2b1b9ac1966ab78e953876d6ba48ed6df00
results-70400-4
7.47 KB
sha256:d5dd21b954318097984767298486466074f1ddcbd61df981b7a3fdef007d1970
results-70400-5
8.37 KB
sha256:38fdfcba4b7f788388e99bf4b424465aa9b6b3a698900cacb512bf0ee2ea7b6e
results-70400-6
8.92 KB
sha256:746d2a1393a123b06e0708d9ddbd6e99fdb47a7703eb10a3d6d3621df3a7c360
results-70400-7
7.45 KB
sha256:e1fae524f93944494d4599eba7feaa0618a5b637841a2c1f40e940856183ef0d
results-70400-8
9.46 KB
sha256:90522099d71478c3b49795b06ee5ee61de1d699ed4b0fbce25a443f61d734a82
results-70400-9
9.11 KB
sha256:db23d35af2cd6ec95e1194aed1cb2aa83c7612bf231fb9278e66dad25bbd1ea2
results-80000-1
7.1 KB
sha256:099feebdab8ec7672814ea68e7e8c2f8dc29adc1cb99519be90f04a0134cddfa
results-80000-10
7.73 KB
sha256:bb2b7a55645102ca1db1265dcbc3d8e9c9de766489289b2932fece8f04a950e2
results-80000-11
8.02 KB
sha256:46f3e6827f64c12b776685c0e17ea342265b9d6754360fd510468c6ac183b539
results-80000-12
7.94 KB
sha256:e11d4f11d17748e860271660fb08c067192fc0b1a3953ceda4e28abfe99f6d0f
results-80000-13
7.58 KB
sha256:241d93d8a1ef2b32a6b10aebdae7b854fd994883678cdd00a3dba67a4174f94e
results-80000-14
7.04 KB
sha256:d1e0116bbc91d1845d5bd97ec44969af10e395e5f6144ff4cc8ce4ae28f1fa80
results-80000-15
8.75 KB
sha256:45a1941b0505299687905bdb2b1965fef9703160839047880d35ad758240a4dc
results-80000-16
8.34 KB
sha256:27bcb3401f40a5cbbb1672beba2f01f5af42a50e0aa753062cd8dde248b3aea2
results-80000-17
7.25 KB
sha256:b0bcbc5ed8a4316a5fc02174881ebf15367f775f3cd3ea271430e272564506a4
results-80000-18
7.8 KB
sha256:398fc9128993e7bf123663eb179c7be7e7232e08f913ccc904d16a0bf29dbecb
results-80000-2
12.6 KB
sha256:8d997011b55d9047ae81e6f21533171294b04e83ae33af4672189df64a34de78
results-80000-3
6.8 KB
sha256:10f1e98f6456b591ad21f6d6ce92b7d4b7b27c962279b46621a8d45475e86521
results-80000-4
6.59 KB
sha256:e46cdadcc00b498b0e5ed44ba7a5ac4d3a3d79fabbb73441f4ff8973dba53540
results-80000-5
7.32 KB
sha256:a1ce49829c72eb9ed123c24f1d6ce1ef417190a79dfa62dbe06ca599bcb78d69
results-80000-6
8.5 KB
sha256:3c18faff0471864cfe5ef9eaa5de5f58b1e54e830dfa1b084487bda9409ef2ee
results-80000-7
6.73 KB
sha256:bb79ee0988bf89510a9dc162f9ed40da119b3cc78adb71838da3b7fa119e5c84
results-80000-8
7.43 KB
sha256:336dbfc31d9aa8bea0296b7703bb6e464735cc719d8f10e5258032483bbd4dda
results-80000-9
8.13 KB
sha256:97bec4486c6bc9bcb8347201986d02022a15b956b1a1173d60eebb80c642b9e5
results-80100-1
7.08 KB
sha256:1694788a69cf347f954585994351597fdeb9be585e1effd7dfb3bd4e5ba9608e
results-80100-10
8.04 KB
sha256:8c851cd0c4823db0cfcbbd00e2f2c2d02470ea43bec5f25f6ca6ebd8ec4fd585
results-80100-11
8.09 KB
sha256:b37e12cfc594ce06928336f2d9c94d946eb3f503dd38880123f3acd8801880ba
results-80100-12
7.84 KB
sha256:9d7ba70ba3a17d55035cc4291e50405d763083a77705e54b7874010ff7884fac
results-80100-13
7.62 KB
sha256:671c0f80ea986d9c7e344b5f2c54ff2b74b71fc23b131d235481ce269ad1e9d0
results-80100-14
7.04 KB
sha256:25a0b87e97db7be150dc9772fd1eed2180f34e4a29aa6e0a6758098969c9e8f1
results-80100-15
8.93 KB
sha256:b8e4de68ba7a5ac67ac5cc8bd5aac36e02d0242d97c7beb88c3ac3c29350a97c
results-80100-16
8.25 KB
sha256:9e6c6d2e70be7f28956ffdc84dbdc8bb25605f13772aa02164c6e87a88ce26d4
results-80100-17
8.33 KB
sha256:8b59ee361101faa8dd49844c92dfe682c2c6c57311151008ac6258c5161dcc4d
results-80100-18
7.61 KB
sha256:ac27e34ad7341a63e3cac04e256121503604dc6662c138440ea1d09c656cbf99
results-80100-2
12.8 KB
sha256:a248e87c0706840a3396c130e4aae72f78f2b8bfd13595f4d8c317d993a23c75
results-80100-3
6.71 KB
sha256:2af87327b5a78be402fb6ee60ef73b921773e2b4e94d788abeebc1549b21f4d3
results-80100-4
6.72 KB
sha256:7727245b3dbc08de80fe5a559ea9068f8f86f573f8f5915bd304ef8f2be6ca27
results-80100-5
7.33 KB
sha256:0247cbd87334d644d3a2bf585561c0c10252ce0ef545b8cd70b5a5977cc2117a
results-80100-6
8.36 KB
sha256:73624cf3cb17898228dd4c182e82616815d68952ea1645aa83bc65c5773953b5
results-80100-7
6.69 KB
sha256:7f1a8ba7903e2b04d9272974ae722602213d9a62158ebf48b35d1bb4081fe59b
results-80100-8
8.22 KB
sha256:c62db5b441740a2c4ce1a6de2516a273870f0d18f63821c354d032542aecb71d
results-80100-9
8.42 KB
sha256:c977f3628bfb0eb3dc2a828d819de2aa0e1e506de667342f05ecb1d8d3166517
results-80200-1
7.04 KB
sha256:9f8b1c0d0d42d06c33445ee991e4eaab276233226b495f7933ba2cdf17bcb07f
results-80200-10
7.9 KB
sha256:77fbd5df5587f707b147b78d3dedabe4663fb3d8aff92ea30d4ce9dd6b96444c
results-80200-11
8.08 KB
sha256:edbd77da04b347efc00f558f2a746487316b9c1c15b574cfba48481a6a31cac4
results-80200-12
7.84 KB
sha256:0d699ed4d9b8ccd0676a56d4c7f7baf5e80f597584d6bc7665e0a7d3ba34fa01
results-80200-13
7.69 KB
sha256:a34b37074f07854602f8ce4a22e470418dc4491af2bf31a716b9c67e297077fb
results-80200-14
7.04 KB
sha256:470ede2daba55c98a3dc2bc430b89658ceead51636a966e097ec7674baa0ad29
results-80200-15
8.88 KB
sha256:ae8e28f4bdddd2ccdc7e374d29b72067aec4ab0f645ba36e4f273637da7e18d1
results-80200-16
8.11 KB
sha256:4a8f75b76c1b61140b7237a47fc1bf49df465a58c29872bb49752cb4b2930dc1
results-80200-17
8.2 KB
sha256:08a88994a219a4f9e3b42e2a04cc6d293042cca2fc8838b39b3c5a2abc33991f
results-80200-18
7.65 KB
sha256:66b657e0158ec0b44d587e69cb8b285c7a7508af2e55bc28009285c46f1a7485
results-80200-2
12.8 KB
sha256:e36907e828c8b167d929351bb1b8571fb5b5d0dc3bdcd2089d01e4dff306fab4
results-80200-3
6.78 KB
sha256:f2baa2bfdfe1263bf32506ed1e7b0ff8f18eb7cb0005207255c2accb705b3369
results-80200-4
6.74 KB
sha256:9158e867e0f5a4156e899da87782c206e80be238ebc0dc35d6b07139a0e5a16d
results-80200-5
7.28 KB
sha256:a992800e56e69ece70b70fa11a0164ed5fed93e8bc59d572758ddb9c6fff7ee9
results-80200-6
8.38 KB
sha256:21ef01ac56daa4be4077aa213d7403be392d9b368b9256f7ce1bdbd9551b55ca
results-80200-7
6.67 KB
sha256:1473a3fd10c6dcc72e7f32bbb87e8594e87225536a6fd63f730693a568d0a45a
results-80200-8
7.87 KB
sha256:4611612a91a68b524b04eb57a6c7eba17c9de495563020c90281b6a4b9f8468a
results-80200-9
8.3 KB
sha256:60250ee9b9f368c4cbb123855cea9f66b7d1cdbbde023855314ccb20e5016a3c
results-80300-1
6.95 KB
sha256:d459edbe49bb59acd119b5e006316081bddc8e585f4faa01af88cf116aad6a99
results-80300-10
7.9 KB
sha256:e43e26abdc83451b5d55c712509d878a4213f9747b342b5d616ad8a76e83f88f
results-80300-11
7.95 KB
sha256:d080a1068e04b817db3cbaee389859f0dd39a07154b4c5f1491818d06c88735e
results-80300-12
7.86 KB
sha256:efe7bcc11e927426733961d1142c0abcb714ad0d1e372c5a06ad5dd2f5daa049
results-80300-13
7.69 KB
sha256:c4ee81a9bd3217b2618d7aa170435a87678883b6bfc57011cd5e50deac4c93fb
results-80300-14
7.04 KB
sha256:2588dd37b804ceec86cd07ef30394e63e8eb637f4c1181dae75cda21176a109e
results-80300-15
8.81 KB
sha256:81c9c5321cdcedaff819fdbcff130afc55f018d9c4e62aace3a9a6468d457cd6
results-80300-16
8.05 KB
sha256:8511aa18583b0f3b689265e7a60d263d988550c6e02d5a4b672d3c76bfe98dc3
results-80300-17
8.12 KB
sha256:159f952d92d390c6ae9ff4637e485c7c855492894114c2ef7259257962367900
results-80300-18
7.52 KB
sha256:b097aff46ab002989a12015b9cf37849f05bf98008190b6049f835e9d3339f2b
results-80300-2
12.7 KB
sha256:8930220d0c4f98fc8e0d710afc7436db625126dab49e3084e97c34cda30e0e7b
results-80300-3
6.78 KB
sha256:9907851c3da22726a2fcc95aaec90790efe98f62b1a19f230eab63d9fb162bf3
results-80300-4
6.74 KB
sha256:98374897fd52a12e5735e750431131654a78f520f58902d46da40100e6374aeb
results-80300-5
7.28 KB
sha256:29521b8335ae91c181375fca5a9d6e0fb74345f5c3b9985c2945c6cd376a13fe
results-80300-6
8.38 KB
sha256:2668324fc080b62b74736d93f4c1f1afb20a5564152321e59bc45a18912034fb
results-80300-7
6.67 KB
sha256:97cdb87bb96765a2c398f34f5c7ac7b5f2c56a068f591eebdf68d2615e74b66b
results-80300-8
7.87 KB
sha256:fcdb5ab915f1d9b2b75907255c586aa0198cc75c713336240377a45988d69932
results-80300-9
8.22 KB
sha256:ef6dcf973a86a4616888c13a1688b67b74c4e001ca0958aa3ef5a45fdaf150bc
results-80400-1
6.9 KB
sha256:3bb6af9d56717ec117f9113950a2050d8454bc5447e1c6331cbf151f2e8be304
results-80400-10
7.86 KB
sha256:d2ed60914f5fa54cf06833390cca93b8d4ae6c44c7a62519b72aef1928f3e57c
results-80400-11
7.93 KB
sha256:edbcd418aec77facb3d0bd8c2de7a9d4a620281da49993ed30bd6df1f576d863
results-80400-12
7.98 KB
sha256:0d48b7e6835fe49fcd602d41a27f51057bb3b15e345efadd9196e030c16dc58e
results-80400-13
7.69 KB
sha256:1d50dc86cc5203298718947a989b317812c8eb365d3070ae2b660eb19ba3f399
results-80400-14
7.04 KB
sha256:e5a2f74dc85c3a69603d0fa247153ad319ee19c2cb674eb837b86f9d038d036b
results-80400-15
8.74 KB
sha256:3377d4cc2da63f4e63de144fe41463581d083efc1a0b6124ab8b443ccc947fc9
results-80400-16
7.98 KB
sha256:2138390422d3213d3166a6a715211d02e8bf575836f9d64e0140e13d9fbc72ff
results-80400-17
8 KB
sha256:a4c63d3540b218c14284ba01d7c10b92cb4a5e934acd89e5a44314b03676a343
results-80400-18
7.33 KB
sha256:a3eb7bc964dcc1730491f720f1ed8dfdc3d388e1e5d7c8150dc9d3abb4e2610d
results-80400-2
12.7 KB
sha256:ba1c2d6092c6f438df501e9af8ee7bacf10cb912e497178d93b6e413c1da157f
results-80400-3
6.86 KB
sha256:6edb5d913a41e464cdc6b20a761ee48c2e9e81cc6560421702ec30cad70848f1
results-80400-4
6.72 KB
sha256:ef2736b7d65f06a84079bd99cd242470e2c8938acb4dd9616a59fbd13288d578
results-80400-5
7.28 KB
sha256:ff51f0c0a8f77be86b075e11c94db7439aa76895c530075a99f0176a9090f8fe
results-80400-6
8.38 KB
sha256:a49c764a817bdc8035b3c0035ca93f34da55bdb0868c7079b08095a449bc099f
results-80400-7
6.65 KB
sha256:fb52ee735ddfae2cf153471a608924467cc6237aa6220e7cf3446886f775d213
results-80400-8
7.87 KB
sha256:b408b4d8138e23347de94bf425f5fc030810dfd87de664916de3740072f5d8e2
results-80400-9
8.22 KB
sha256:c0f21ec59db6308ecfc6b049e70f052ce8bd3413dbf800c7fb590d8ae3d213b5
results-80500-1
1.09 KB
sha256:7bf6da9b25fbd566014b7df9fc614dcb0eaf6898f5d2b954c4f3f442e7862611
results-80500-10
885 Bytes
sha256:9e01bdcb8274da26af825a36f4223167579594bb9a309d97fa49d6f2ee0acabf
results-80500-11
1.26 KB
sha256:b0de18d45bb4a36c65cbb88ca7e2e34f277f06c53f3b721d420d9e3286012cb2
results-80500-12
991 Bytes
sha256:52a7b124d6aba3b0376eca4d5c7cfb5b79f8f7854de6cef36ec82fdcd1e9338a
results-80500-13
672 Bytes
sha256:6deccb18fd51dd4096d6586ffbe0169041158cb97429a51fe2283dc9aa21518c
results-80500-14
1.1 KB
sha256:2acfd06130ef4a035f166cd9195a9c6183ef15ff2b39379f46d066a74fe81977
results-80500-15
925 Bytes
sha256:065861a515379f682e35fd1bef1fcfb20e21552c38a7805b3eb041d85afd0530
results-80500-16
1.05 KB
sha256:3d3a3e4bd9bbc6ee868a8aca3239b4a388d98c032e3b8bb2703c5eecd2f46f54
results-80500-17
601 Bytes
sha256:593cd61efe9790f17770de3cd6ecd1f33b8c0da2e6c13ad46984192f66e717fb
results-80500-2
848 Bytes
sha256:451e113e188b770526ec4c1ac88dd5fd8f842c7e4c4158b2f331131b02cc958e
results-80500-3
963 Bytes
sha256:0d7ee0b067b3bcc0737331defde6cbab5f68c4eb89382b3ab411f417acc2e8e4
results-80500-4
860 Bytes
sha256:724ed2303ad4279deb7fc83dfea1f52ce07a8049cb3ed27faed7ca5d6b6d7539
results-80500-5
1000 Bytes
sha256:889888cbb3cbab0bfd4a2870afb71d9a5685752d876f8aa0a89523e9c7a05c6f
results-80500-6
922 Bytes
sha256:ab6ac553efe371c7deb061c3e1e37438262ad5d152694a7f31b3819ba0f6c4a3
results-80500-7
846 Bytes
sha256:88fe0dbd3c8c23cd9497a8578f033d853c1e4bf4fdb30c6e7a1c0e93fed689b3
results-80500-8
1.2 KB
sha256:32c62fdaa767a30e92c48b0b2088146e8e65510e5d6201d8858e7ab581ad513b
results-80500-9
1.09 KB
sha256:cc92d9ec95fec455a85f328a8eeb149a2ed5bdfc2527ec9f86f3a4757ddd1872