A few questions and remarks:

- How do you compile the following extract?

  fn call_foo<T>(x: T) {
    x.foo();
  }

> Perhaps we allow the syntax t.foo1::bar() to make it clear.

What would you think of the following?

  (t as foo1(T)).bar()


> Finally, this also raises the potential to have two instances of the interace inter, both based on the same receiver, but with different vtables and hence different definitions of bar()!

What exactly is the issue there? Readability?

Cheers,
 David
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to