As above, traits don't require `~` pointers specifically, just some type of pointer in general, so maybe that should be mentioned?