rust manual: supertraits seperator is wrong