Valores predeterminados de tipos genéricos

Los structs, enums y alias de tipos pueden dar un valor predeterminado a los últimos parámetros genéricos.

struct Page<T = str> { items: [T], total: int }
let names: Page = .{items: ["Ada"], total: 1}
let scores = Page {items: [95], total: 1}

Un argumento de tipo explícito tiene prioridad. El constructor primero infiere los tipos a partir de los campos; los valores predeterminados completan solo los argumentos que faltan. Un valor predeterminado puede usar un parámetro anterior, como en Pair<T, U = T>. Los parámetros obligatorios no pueden ir después de los que tienen valor predeterminado, y un valor predeterminado no puede usar el propio parámetro ni uno posterior.