# Local type aliases `local-type-alias` provides an attribute macro for creating scoped type and trait aliases in an item. ## Examples ```rust #[local_alias] #[alias(type X = i32)] struct MyType where X: for<'a> Add<&'a T>, { value: T, } ``` ```rust #[local_alias] #[alias( type X = [T; 4], type Y = *mut X, type Z = fn(X) -> Y, trait A = PartialEq *mut [u8; 4]>, )] impl MyType where Z: A, { // ... } ```