Traits have some subtle rules and aren't documented anywhere. We should document them, and, probably as part of that, figure out what the actual semantics are in some corner cases.