should we error out if there's no pagedItems inside pagedResult model

[qiaozha]

In the case, we have pagedResult, but without pagedItems to indicate the item types. Should we error out? if so, should compiler do this or should tcgc or azure linter do this?

@error
model Error {
    code: int32;
    message: string;
}

@pagedResult
model Bar {
    lists: string[];
}

// this will be ok
@route("/test")
op test(): Error | Bar;

// this will not be ok as compiler would report missing-paging-items 
@route("/test1")
@list op test1(): Error | Bar;

See this playground link

[qiaozha]

tcgc or azure linter should error out if there's no item type being extracted.