{"comments":[{"comment":{"id":8161313,"creator_id":2680,"post_id":8245354,"content":"This is a nice small feature. I'm curious about the commit description:\n\n---\n\n```rust\nfoo(const { 1 + 1 })\n```\n\nwhich is roughly desugared into\n\n```rust\nstruct Foo;\nimpl Foo {\n const FOO: i32 = 1 + 1;\n}\nfoo(Foo::FOO)\n```\n\n---\n\nI would have expected it to desugar to something like:\n\n```rust\nfoo({\n const TMP: i32 = 1 + 1;\n TMP\n})\n```\n\nBut I can't seem an explanation why the struct with `impl` is used. I wonder if it has something to do with propagating generics.","removed":false,"published":"2024-04-25T14:20:20.090840Z","deleted":false,"ap_id":"https://lemmy.ml/comment/10569004","local":false,"path":"0.8161313","distinguished":false,"language_id":0},"creator":{"id":2680,"name":"kevincox","avatar":"https://lemmy.ml/pictrs/image/e550bc4a-4cad-442b-a375-b82c4b28e476.png","banned":false,"published":"2021-01-21T18:47:46.353571Z","updated":"2022-08-04T15:54:28.070390Z","actor_id":"https://lemmy.ml/u/kevincox","bio":"https://kevincox.ca/","local":false,"deleted":false,"matrix_user_id":"@kevincox:kevincox.ca","bot_account":false,"instance_id":16},"post":{"id":8245354,"name":"Inline const expressions have been stabilised","url":"https://github.com/rust-lang/rust/pull/104087","creator_id":83063,"community_id":3477,"removed":false,"locked":false,"published":"2024-04-25T12:45:03.219248Z","deleted":false,"nsfw":false,"embed_title":"Stabilise inline_const by nbdd0121 · Pull Request #104087 · rust-lang/rust","embed_description":"Stabilisation Report\nSummary\nThis PR will stabilise inline_const feature in expression position. inline_const_pat is still unstable and will not be stabilised.\nThe feature will allow code like this...","thumbnail_url":"https://programming.dev/pictrs/image/3e7252b0-e63c-40d4-833d-bfbdae35ea2e.png","ap_id":"https://feddit.dk/post/5223867","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":3477,"name":"rust","title":"Rust","description":"Welcome to the Rust community! This is a place to discuss about the [Rust programming language](https://www.rust-lang.org/).\n\n### Wormhole\n[!performance@programming.dev](https://programming.dev/c/performance) \n\n:::spoiler Credits\n- The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)\n:::","removed":false,"published":"2023-06-12T01:25:09.158759Z","updated":"2023-12-11T01:43:02.283925Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/rust","local":false,"icon":"https://programming.dev/pictrs/image/1f7e5534-88d3-4d6f-bc57-7cda9553890f.webp","banner":"https://programming.dev/pictrs/image/785b76dd-e87f-4fc9-9df8-db835c373155.jpeg","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":8161313,"score":6,"upvotes":6,"downvotes":0,"published":"2024-04-25T14:20:20.090840Z","child_count":4},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false},{"comment":{"id":8162410,"creator_id":1260632,"post_id":8245354,"content":"It's because it has to work in pattern contexts as well, which are not expressions.","removed":false,"published":"2024-04-25T15:20:05.110515Z","deleted":false,"ap_id":"https://sopuli.xyz/comment/9050445","local":false,"path":"0.8161313.8162410","distinguished":false,"language_id":0},"creator":{"id":1260632,"name":"0v0","banned":false,"published":"2023-08-09T16:02:23.141125Z","actor_id":"https://sopuli.xyz/u/0v0","local":false,"deleted":false,"bot_account":false,"instance_id":13},"post":{"id":8245354,"name":"Inline const expressions have been stabilised","url":"https://github.com/rust-lang/rust/pull/104087","creator_id":83063,"community_id":3477,"removed":false,"locked":false,"published":"2024-04-25T12:45:03.219248Z","deleted":false,"nsfw":false,"embed_title":"Stabilise inline_const by nbdd0121 · Pull Request #104087 · rust-lang/rust","embed_description":"Stabilisation Report\nSummary\nThis PR will stabilise inline_const feature in expression position. inline_const_pat is still unstable and will not be stabilised.\nThe feature will allow code like this...","thumbnail_url":"https://programming.dev/pictrs/image/3e7252b0-e63c-40d4-833d-bfbdae35ea2e.png","ap_id":"https://feddit.dk/post/5223867","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":3477,"name":"rust","title":"Rust","description":"Welcome to the Rust community! This is a place to discuss about the [Rust programming language](https://www.rust-lang.org/).\n\n### Wormhole\n[!performance@programming.dev](https://programming.dev/c/performance) \n\n:::spoiler Credits\n- The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)\n:::","removed":false,"published":"2023-06-12T01:25:09.158759Z","updated":"2023-12-11T01:43:02.283925Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/rust","local":false,"icon":"https://programming.dev/pictrs/image/1f7e5534-88d3-4d6f-bc57-7cda9553890f.webp","banner":"https://programming.dev/pictrs/image/785b76dd-e87f-4fc9-9df8-db835c373155.jpeg","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":8162410,"score":10,"upvotes":10,"downvotes":0,"published":"2024-04-25T15:20:05.110515Z","child_count":2},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false},{"comment":{"id":8166031,"creator_id":46528,"post_id":8245354,"content":"> They tested the same strings on that implementation\n\nThe code they were looking at was used for writing the table, but they were testing the one that read it (which is instead correct).\n\n> though judging by the recent comments someone’s found something.\n\nYeah that's me :)The translation using an associated const also works when the `const` block uses generic parameters. For example:\n\n fn require_zst() {\n const { assert!(std::mem::size_of::() == 0) }\n }\n\nThis can be written as:\n\n fn require_zst() {\n struct Foo(PhantomData);\n impl Foo {\n const FOO: () = assert!(std::mem::size_of::() == 0);\n }\n Foo::::FOO\n }\n\nHowever it cannot be written as:\n\n fn require_zst() {\n const FOO: () = assert!(std::mem::size_of::() == 0);\n FOO\n }\n\nBecause `const FOO: ()` is an item, thus it is only lexically scoped (i.e. visible) inside `require_zst`, but does not inherit its generics (thus it cannot use `T`).","removed":false,"published":"2024-04-25T18:23:06.302897Z","deleted":false,"ap_id":"https://lemmy.world/comment/9647966","local":false,"path":"0.8161313.8166031","distinguished":false,"language_id":37},"creator":{"id":46528,"name":"Giooschi","banned":false,"published":"2023-07-01T17:10:29.418086Z","actor_id":"https://lemmy.world/u/Giooschi","local":false,"deleted":false,"bot_account":false,"instance_id":24},"post":{"id":8245354,"name":"Inline const expressions have been stabilised","url":"https://github.com/rust-lang/rust/pull/104087","creator_id":83063,"community_id":3477,"removed":false,"locked":false,"published":"2024-04-25T12:45:03.219248Z","deleted":false,"nsfw":false,"embed_title":"Stabilise inline_const by nbdd0121 · Pull Request #104087 · rust-lang/rust","embed_description":"Stabilisation Report\nSummary\nThis PR will stabilise inline_const feature in expression position. inline_const_pat is still unstable and will not be stabilised.\nThe feature will allow code like this...","thumbnail_url":"https://programming.dev/pictrs/image/3e7252b0-e63c-40d4-833d-bfbdae35ea2e.png","ap_id":"https://feddit.dk/post/5223867","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":3477,"name":"rust","title":"Rust","description":"Welcome to the Rust community! This is a place to discuss about the [Rust programming language](https://www.rust-lang.org/).\n\n### Wormhole\n[!performance@programming.dev](https://programming.dev/c/performance) \n\n:::spoiler Credits\n- The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)\n:::","removed":false,"published":"2023-06-12T01:25:09.158759Z","updated":"2023-12-11T01:43:02.283925Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/rust","local":false,"icon":"https://programming.dev/pictrs/image/1f7e5534-88d3-4d6f-bc57-7cda9553890f.webp","banner":"https://programming.dev/pictrs/image/785b76dd-e87f-4fc9-9df8-db835c373155.jpeg","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":8166031,"score":7,"upvotes":7,"downvotes":0,"published":"2024-04-25T18:23:06.302897Z","child_count":0},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false},{"comment":{"id":8163269,"creator_id":83063,"post_id":8245354,"content":"Wait, in pattern context? How? Can you give an example?","removed":false,"published":"2024-04-25T16:04:40.536175Z","deleted":false,"ap_id":"https://feddit.dk/comment/7918191","local":false,"path":"0.8161313.8162410.8163269","distinguished":false,"language_id":0},"creator":{"id":83063,"name":"SorteKanin","avatar":"https://feddit.dk/pictrs/image/7c6b6582-40a1-412b-99be-35694d7af85a.png","banned":false,"published":"2023-04-27T21:11:16.444257Z","actor_id":"https://feddit.dk/u/SorteKanin","local":false,"deleted":false,"bot_account":false,"instance_id":85},"post":{"id":8245354,"name":"Inline const expressions have been stabilised","url":"https://github.com/rust-lang/rust/pull/104087","creator_id":83063,"community_id":3477,"removed":false,"locked":false,"published":"2024-04-25T12:45:03.219248Z","deleted":false,"nsfw":false,"embed_title":"Stabilise inline_const by nbdd0121 · Pull Request #104087 · rust-lang/rust","embed_description":"Stabilisation Report\nSummary\nThis PR will stabilise inline_const feature in expression position. inline_const_pat is still unstable and will not be stabilised.\nThe feature will allow code like this...","thumbnail_url":"https://programming.dev/pictrs/image/3e7252b0-e63c-40d4-833d-bfbdae35ea2e.png","ap_id":"https://feddit.dk/post/5223867","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":3477,"name":"rust","title":"Rust","description":"Welcome to the Rust community! This is a place to discuss about the [Rust programming language](https://www.rust-lang.org/).\n\n### Wormhole\n[!performance@programming.dev](https://programming.dev/c/performance) \n\n:::spoiler Credits\n- The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)\n:::","removed":false,"published":"2023-06-12T01:25:09.158759Z","updated":"2023-12-11T01:43:02.283925Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/rust","local":false,"icon":"https://programming.dev/pictrs/image/1f7e5534-88d3-4d6f-bc57-7cda9553890f.webp","banner":"https://programming.dev/pictrs/image/785b76dd-e87f-4fc9-9df8-db835c373155.jpeg","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":8163269,"score":2,"upvotes":2,"downvotes":0,"published":"2024-04-25T16:04:40.536175Z","child_count":1},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false},{"comment":{"id":8164565,"creator_id":1260632,"post_id":8245354,"content":"```rust\nfn foo(x: i32) {\n match x {\n const { 3.pow(3) } => println!(\"three cubed\"),\n _ => {}\n }\n}\n```\n\nBut it looks like `inline_const_pat` is still unstable, only `inline_const` in expression position is now stabilized.","removed":false,"published":"2024-04-25T17:11:06.707133Z","deleted":false,"ap_id":"https://sopuli.xyz/comment/9052559","local":false,"path":"0.8161313.8162410.8163269.8164565","distinguished":false,"language_id":0},"creator":{"id":1260632,"name":"0v0","banned":false,"published":"2023-08-09T16:02:23.141125Z","actor_id":"https://sopuli.xyz/u/0v0","local":false,"deleted":false,"bot_account":false,"instance_id":13},"post":{"id":8245354,"name":"Inline const expressions have been stabilised","url":"https://github.com/rust-lang/rust/pull/104087","creator_id":83063,"community_id":3477,"removed":false,"locked":false,"published":"2024-04-25T12:45:03.219248Z","deleted":false,"nsfw":false,"embed_title":"Stabilise inline_const by nbdd0121 · Pull Request #104087 · rust-lang/rust","embed_description":"Stabilisation Report\nSummary\nThis PR will stabilise inline_const feature in expression position. inline_const_pat is still unstable and will not be stabilised.\nThe feature will allow code like this...","thumbnail_url":"https://programming.dev/pictrs/image/3e7252b0-e63c-40d4-833d-bfbdae35ea2e.png","ap_id":"https://feddit.dk/post/5223867","local":false,"language_id":0,"featured_community":false,"featured_local":false},"community":{"id":3477,"name":"rust","title":"Rust","description":"Welcome to the Rust community! This is a place to discuss about the [Rust programming language](https://www.rust-lang.org/).\n\n### Wormhole\n[!performance@programming.dev](https://programming.dev/c/performance) \n\n:::spoiler Credits\n- The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)\n:::","removed":false,"published":"2023-06-12T01:25:09.158759Z","updated":"2023-12-11T01:43:02.283925Z","deleted":false,"nsfw":false,"actor_id":"https://programming.dev/c/rust","local":false,"icon":"https://programming.dev/pictrs/image/1f7e5534-88d3-4d6f-bc57-7cda9553890f.webp","banner":"https://programming.dev/pictrs/image/785b76dd-e87f-4fc9-9df8-db835c373155.jpeg","hidden":false,"posting_restricted_to_mods":false,"instance_id":22,"visibility":"Public"},"counts":{"comment_id":8164565,"score":10,"upvotes":10,"downvotes":0,"published":"2024-04-25T17:11:06.707133Z","child_count":0},"creator_banned_from_community":false,"banned_from_community":false,"creator_is_moderator":false,"creator_is_admin":false,"subscribed":"NotSubscribed","saved":false,"creator_blocked":false}]}