this post was submitted on 03 Sep 2023
37 points (97.4% liked)

Rust

5888 readers
90 users here now

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

Wormhole

[email protected]

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
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 1 points 1 year ago* (last edited 1 year ago) (2 children)

There are still obvious things the BC cannot get. For example:

struct Foo;

impl Foo {
    fn num(&mut self) -> usize { 0 }
    fn index(&mut self, _i: usize) { }
}

let foo = Foo;
foo.index(foo.num()); //error
[–] [email protected] 2 points 1 year ago* (last edited 1 year ago)

This looks like a pretty easy fix that the compiler could do by extracting the argument to a temp variable to improve the syntax of the language.

[–] [email protected] 1 points 1 year ago* (last edited 1 year ago) (1 children)

Note that when you change num to take &self instead, this works out (you also need to mark foo as mutable, of course).

[–] [email protected] 1 points 1 year ago

It's a toy example. In that case, the solution is to assign the expression to a variable to compute its result upfront.