What does `impl` mean when used as the argument type or return type of a function?

by

This is the new impl Trait syntax which allows the programmer to avoid naming generic types. The feature is available as of Rust 1.26.

Here, it is used in return position to say “the type returned will implement this trait, and that’s all I’m telling you”. In this case, note that all return paths of the function must return the exact same concrete type.

The syntax can also be used in argument position, in which case the caller decides what concrete type to pass.

See also:

More Related Contents:

  1. Cannot obtain a mutable reference when iterating a recursive structure: cannot borrow as mutable more than once at a time
  2. How can you make a safe static singleton in Rust?
  3. Why can impl trait not be used to return multiple / conditional types?
  4. Lifetime error when creating a function that returns a value implementing serde::Deserialize
  5. Rust proper error handling (auto convert from one error type to another with question mark)
  6. Why is a borrow still held in the else block of an if let?
  7. How to create a static string at compile time
  8. How to call a method when a trait and struct use the same method name?
  9. What does “cannot move out of index of” mean?
  10. How to convert ‘struct’ to ‘&[u8]’?
  11. How does the mechanism behind the creation of boxed traits work?
  12. What is the syntax: `instance.method::()`?
  13. Why does passing a closure to function which accepts a function pointer not work?
  14. “expected type parameter, found struct”
  15. Adding an append method to a singly linked list
  16. Is it possible to declare the type of the variable in Rust for loops?
  17. How can I co-sort two Vecs based on the values in one of the Vecs?
  18. Is there a way to combine multiple traits in order to define a new trait? [duplicate]
  19. How can I store a pattern in a variable in Rust?
  20. Why does a mutable borrow of a closure through DerefMut not work?
  21. How to switch between Rust toolchains?
  22. What does “missing lifetime specifier” mean when storing a &str in a structure?
  23. Why can Serde not derive Deserialize for a struct containing only a &Path?
  24. Why is Rust’s assert_eq! implemented using a match?
  25. Is there a list of all cfg features?
  26. How to repeat a static string at compile time
  27. Is there a good way to convert a Vec to an array?
  28. How to concatenate static strings in Rust
  29. How can I conditionally provide a default reference without performing unnecessary computation when it isn’t used?
  30. How can I build multiple binaries with Cargo?

Leave a Comment