What is an auto trait in Rust?

by

An auto trait is the new name for the terribly named1 opt-in, built-in trait (OIBIT).

These are an unstable feature where a trait is automatically implemented for every type unless they opt-out or contain a value that does not implement the trait:

#![feature(optin_builtin_traits)]

auto trait IsCool {}

// Everyone knows that `String`s just aren't cool
impl !IsCool for String {}

struct MyStruct;
struct HasAString(String);

fn check_cool<C: IsCool>(_: C) {}

fn main() {
    check_cool(42);
    check_cool(false);
    check_cool(MyStruct);
    
    // the trait bound `std::string::String: IsCool` is not satisfied
    // check_cool(String::new());
    
    // the trait bound `std::string::String: IsCool` is not satisfied in `HasAString`
    // check_cool(HasAString(String::new()));
}

Familiar examples include Send and Sync:

pub unsafe auto trait Send { }
pub unsafe auto trait Sync { }

Further information is available in the Unstable Book.

1 These traits are neither opt-in (they are opt-out) nor necessarily built-in (user code using nightly may use them). Of the 5 words in their name, 4 were outright lies.

More Related Contents:

  1. Return local String as a slice (&str)
  2. How can I swap in a new value for a field in a mutable reference to a structure?
  3. How to get a reference to a concrete type from a trait object?
  4. How do I return a reference to something inside a RefCell without breaking encapsulation?
  5. Conditionally iterate over one of several possible iterators
  6. Is there any way to create a type alias for multiple traits?
  7. How to convert a String into a &’static str
  8. What’s an idiomatic way to print an iterator separated by spaces in Rust?
  9. Proper way to return a new string in Rust
  10. Double mutable borrow error in a loop happens even with NLL on
  11. What are move semantics in Rust?
  12. println! error: expected a literal / format argument must be a string literal
  13. How to return a reference to a sub-value of a value that is under a mutex?
  14. How do I return an instance of a trait from a method?
  15. “borrowed value does not live long enough” seems to blame the wrong thing
  16. Weird behaviour when using read_line in a loop
  17. How can this instance seemingly outlive its own parameter lifetime?
  18. Why are Rust executables so huge?
  19. What do I have to do to solve a “use of moved value” error?
  20. Why does removing return give me an error: expected type `()` but found type
  21. Linking the lifetimes of self and a reference in method
  22. Is there a way to create a function pointer to a method in Rust?
  23. Return an async function from a function in Rust
  24. How to implement `serde::Serialize` for a boxed trait object?
  25. Borrow two mutable values from the same HashMap
  26. Is there any difference between matching on a reference to a pattern or a dereferenced value?
  27. Is there a list of all cfg features?
  28. Comparing every element in a vector with the next one
  29. How to concatenate static strings in Rust
  30. How can I build multiple binaries with Cargo?

Leave a Comment