Rollup merge of #65261 - nnethercote:rm-Option-from-TokenStream, r=petrochenkov

Remove `Option` from `TokenStream`

A code simplification.

r? @petrochenkov
This commit is contained in:
Tyler Mandry 2019-10-14 17:52:35 -07:00 committed by GitHub
commit 6d28ed1ae6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
10 changed files with 106 additions and 150 deletions

View file

@ -394,7 +394,7 @@ impl server::Types for Rustc<'_> {
impl server::TokenStream for Rustc<'_> {
fn new(&mut self) -> Self::TokenStream {
TokenStream::empty()
TokenStream::default()
}
fn is_empty(&mut self, stream: &Self::TokenStream) -> bool {
stream.is_empty()