you are viewing a single comment's thread
view the rest of the comments
[–] 1 point 2 years 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
  • source
  • parent
  • hideshow 4 child comments