Aliases de traits

trait alias PrintableOrder = Ord + Display dá um nome a um grupo de requisitos. Use o alias em um limite genérico, em uma cláusula where, em um limite de tipo associado ou em let value: impl Alias. Aliases aninhados são expandidos, e cada trait do grupo é verificada. O alias não cria uma trait em tempo de execução e não pode receber impl: implemente as traits do grupo. Ciclos são erros mesmo quando o alias não é usado.

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

Aliases de efeitos continuam usando type Alias = EffectA + EffectB, com espaço de nomes e significado próprios.