Crate local_type_alias

local-type-aliases allows for the creation of scoped type aliases in an impl block.

Examples

#[local_alias]
impl<T> MyType<T>
where
    alias!(X = i32):,
    X: for<'a> Add<&'a T>,
{
    // ...
}

#[local_alias]
impl<T> MyType<T>
where
    alias!(X = [u8; 4]):,
    alias!(Y = *mut X):,
    alias!(Z = fn(X) -> Y):,
    Z: PartialEq<fn([u8; 4]) -> *mut [u8; 4]>,
{
    // ...
}

Attribute Macros

• local_alias
  Local type aliases.