submitted 4 months ago by [email protected] to c/[email protected]

12 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] [email protected] 6 points 4 months ago

This is a nice small feature. I'm curious about the commit description:

foo(const { 1 + 1 })

which is roughly desugared into

struct Foo;
impl Foo {
    const FOO: i32 = 1 + 1;
}
foo(Foo::FOO)

I would have expected it to desugar to something like:

foo({
  const TMP: i32 = 1 + 1;
  TMP
})

But I can't seem an explanation why the struct with impl is used. I wonder if it has something to do with propagating generics.

[-] [email protected] 10 points 4 months ago

It's because it has to work in pattern contexts as well, which are not expressions.

[-] [email protected] 2 points 4 months ago

Wait, in pattern context? How? Can you give an example?

[-] [email protected] 10 points 4 months ago

fn foo(x: i32) {
    match x {
        const { 3.pow(3) } => println!("three cubed"),
        _ => {}
    }
}

But it looks like inline_const_pat is still unstable, only inline_const in expression position is now stabilized.

load more comments (1 replies)

this post was submitted on 25 Apr 2024

41 points (100.0% liked)

Rust

5772 readers

28 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Credits

The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 1 year ago

MODERATORS