Option<T> repetitions do not work

[lroux-at-jellysmack]

Hello,

While trying to do the following thing,

fn test(option: Option<TokenStream>) -> TokenStream {
    quote! {
        #(#option)*
    }
}

it gives me the following error:

expected struct `HasIterator`, found struct `ThereIsNoIteratorInRepetition`

The type Option<T> does not work in repetitions (#()*), while stated otherwise in the README.md here, since Option<T> implements IntoIterator.

I also found something stating the inverse here:

The variables in an interpolation may be a Vec, slice, BTreeSet, or any Iterator.

I ended up fixing my code by doing this:

 fn test(option: Option<TokenStream>) -> TokenStream {
+    let option = option.iter();
     quote! {
         #(#option)*
     }
 }

---

Also I have a few questions:

• What could I do to recreate the optional behavior of declarative macros using $()?, since #()* does not work out of the box ?
• Could this IntoIterator mechanism be introduced in order to achieve this without requiring .iter() everywhere ?

Thanks :)

[ahl]

This may not address your actual use, but you can just do

fn test(option: Option<TokenStream>) -> TokenStream {
    quote! {
        #option
    }
}

This precludes other fancy stuff you might want to do inside the #( ... )* repetition specifier.

Agreed that the docs appear to be inaccurate based on the current implementation:

quote/src/runtime.rs

Line 54 in ae25ab6

/// Extension trait providing the `quote_into_iter` method on iterators.

[coolreader18]

This might count as a breaking change, but what if there was a #( #var )? optionality specifier? Basically the same as #()* but expecting the variable to be an option

[cyqsimon]

Ran into this problem today with a vector of options. Confused the heck out of me. Ended up doing this. Not particularly pretty but it works.

let vec_of_options: Vec<Option<String>> = vec![/* stuff */];
let vec_of_options_tokenised: Vec<TokenStream> = vec_of_options
    .into_iter()
    .map(|opt| match opt {
        Some(text) => quote! { Some(#text) },
        None => quote! { None },
    })
    .collect();
// in quote macro, use `vec_of_options_tokenised` instead of `vec_of_options`