RFC: Bounds on trait objects should be separated with `+`