Type alias for generics

[Hapenia-Lans]

TL;DR, I want this:

type<T> SomeType = T: Copy + Clone + Debug + OtherTrait

// you can do this
impl<T> SomeTrait for SomeStruct<T>
where T: SomeType {
    ...
}

// also
impl<T: SomeType> SomeTrait for SomeStruct<T> {
    ...
}

I believe this will greatly enhance the readability of ultra-long generic constraints. This is just a little inspiration that I had while reading the source code of some crate. Any other solutions are welcome to comment here :)

[fmease]

Trait/bound aliases are more general than this and already account for your use case:

#![feature(trait_alias)]

trait SomeBound = Copy + Clone + Debug + OtherTrait;
// trait SomeBound = where Self: Copy + Clone + Debug + OtherTrait;

// you can do this
impl<T> SomeTrait for SomeStruct<T>
where
    T: SomeBound,
{
    // ...
}

// also
impl<T: SomeBound> SomeTrait for SomeStruct<T> {
    // ...
}

[fmease]

Closing in favor of RFC 1733 (tracking issue).