It is not strictly true that "items from traits can only be used if the trait is in scope"

documentation
1

take this simple program.

use std::io;

fn main() {
    <io::Stdout as io::Write>::write(&mut io::stdout(), b"hello").unwrap();
}

this form is actually useful in niche situations, such as if you already have a different Write trait in scope.

2

I think even just this will work

use std::io;

fn main() {
    io::Write::write(&mut io::stdout(), b"hello").unwrap();
}
2 Likes
3

indeed it does, the longer form isn't required for items callable as methods since rust can look at the type of the self argument to know what definition to dispatch on.

4

io::Write this expression brings the trait into the scope for the expression.

5

it does not. io::Write::write(&mut io::stdout(), { io::stdout().write(b"foo"); b"bar" }) will fail to compile due to Write not being in scope.

1 Like
6

I meant more in the expression that evaluates to which function to call, not inside the whole expression. to me the usage OP showed still counts as putting the trait in-scope

7

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.