#traits #scope #macro #methods #callable #no-alloc #expand

macro no-std inherent

Make trait methods callable without the trait in scope

19 releases (12 stable)

1.0.11 Jan 2, 2024
1.0.10 Jul 21, 2023
1.0.7 Mar 25, 2023
1.0.3 Dec 17, 2022
0.1.0 Jul 14, 2019

#969 in Rust patterns

Download history 80699/week @ 2023-11-29 72313/week @ 2023-12-06 67514/week @ 2023-12-13 42124/week @ 2023-12-20 32306/week @ 2023-12-27 62588/week @ 2024-01-03 69991/week @ 2024-01-10 83540/week @ 2024-01-17 76696/week @ 2024-01-24 72291/week @ 2024-01-31 73048/week @ 2024-02-07 68821/week @ 2024-02-14 86238/week @ 2024-02-21 86430/week @ 2024-02-28 87662/week @ 2024-03-06 71316/week @ 2024-03-13

344,803 downloads per month
Used in 89 crates (6 directly)

MIT/Apache

15KB
242 lines

#[inherent]

github crates.io docs.rs build status

This crate provides an attribute macro to make trait methods callable without the trait in scope.

[dependencies]
inherent = "1.0"

Example

mod types {
    use inherent::inherent;

    trait Trait {
        fn f(self);
    }

    pub struct Struct;

    #[inherent]
    impl Trait for Struct {
        pub fn f(self) {}
    }
}

fn main() {
    // types::Trait is not in scope, but method can be called.
    types::Struct.f();
}

Without the inherent macro on the trait impl, this would have failed with the following error:

error[E0599]: no method named `f` found for type `types::Struct` in the current scope
  --> src/main.rs:18:19
   |
8  |     pub struct Struct;
   |     ------------------ method `f` not found for this
...
18 |     types::Struct.f();
   |                   ^
   |
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `f`, perhaps you need to implement it:
           candidate #1: `types::Trait`

The inherent macro expands to inherent methods on the Self type of the trait impl that forward to the trait methods. In the case above, the generated code would be:

impl Struct {
    pub fn f(self) {
        <Self as Trait>::f(self)
    }
}

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

Dependencies

~0.4–0.9MB
~21K SLoC