Reports <code>where</code> clauses containing nested quantification over lifetimes, which is not supported.