error[E0308]: mismatched types
 --> tests/ui/does-not-have-iter-interpolated.rs:8:5
  |
8 |     quote!(#(#nonrep)*);
  |     ^^^^^^^^^^^^^^^^^^^
  |     |
  |     expected `HasIterator`, found `ThereIsNoIteratorInRepetition`
  |     expected due to this
  |     here the type of `has_iter` is inferred to be `ThereIsNoIteratorInRepetition`
  |
  = note: this error originates in the macro `$crate::quote_token_with_context` which comes from the expansion of the macro `quote` (in Nightly builds, run with -Z macro-backtrace for more info)

error[E0277]: repetition contains no interpolated value that is an iterator
 --> tests/ui/does-not-have-iter-interpolated.rs:8:5
  |
8 |     quote!(#(#nonrep)*);
  |     ^^^^^^^^^^^^^^^^^^^ none of the values interpolated inside this repetition are iterable
  |
  = help: the trait `CheckHasIterator<true>` is not implemented for `HasIterator<false>`
          but it is implemented for `HasIterator<true>`
  = note: this error originates in the macro `$crate::quote_token_with_context` which comes from the expansion of the macro `quote` (in Nightly builds, run with -Z macro-backtrace for more info)