Alias de traits

trait alias PrintableOrder = Ord + Display da un nombre a un grupo de requisitos. Use el alias en un límite genérico, en una cláusula where, en un límite de tipo asociado o en let value: impl Alias. Los alias anidados se expanden y se comprueba cada trait del grupo. El alias no crea una trait en tiempo de ejecución y no puede recibir impl: implemente las traits del grupo. Los ciclos son errores incluso cuando el alias no se utiliza.

trait alias PrintableOrder = Ord + Display
fn maximum<T: PrintableOrder>(a: T, b: T) -> T {
    if a > b { a } else { b }
}
print(maximum(12, 7))

Los alias de efectos siguen usando type Alias = EffectA + EffectB, con su propio espacio de nombres y significado.