Clarify that where clauses cannot yet appear on trait methods.