implied-bounds 0.1.0

Make all the bounds of a trait definition be implied through a helper trait and macro attribute.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#![cfg(feature = "proc-macros")]

pub extern crate implied_bounds as renamed;
extern crate core as implied_bounds;

#[::renamed::implied_bounds(crate = ::renamed)]
trait _Foo<T : Clone> {}

macro_rules! in_macro {() => (
    #[$crate::macro_internals::renamed::implied_bounds(
        crate = $crate::macro_internals::renamed,
    )]
    trait _Bar<T : Clone> {}
)}
in_macro!();

pub mod macro_internals {
    pub extern crate implied_bounds as renamed;
}