trait-bounds 0.1.1

Trait bounds primitives using generic_const_exprs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

use trait_bounds::Not;

trait Trait {}

struct A {}
struct B {}

impl Trait for A {}
impl Trait for B {}

impl<T: Trait + Not<Self>> From<T> for A {
    fn from(value: T) -> Self {
        Self {}
    }
}

fn main() {
    let a: A = A {};
    let b: B = B {};

    let a: A = a.into(); // core's blanket impl From<T> for T
    let a: A = b.into(); // blanket impl From<T: Trait> for A
}