Trait metódusoknak lehet alapértelmezett implementációja (ami egy szűkebb tartományát használja a metódusoknak), ugyanúgy mint Haskell typeclassoknál. (Sőt manapság asszem már Java interfaceknél is)
Egy példa: https://doc.rust-lang.org/std/cmp/trait.Ord.html
Van 1 darab "required" metódus a a többi "provided" az alapértelmezett implementációval ami mind az 1 db kötelezően implementálandó metódust használja.