No `@return`?