Trait bounds on transparent IntoStaticStr

[blind-oracle]

I'm a bit confused, I want to implement something like:

pub trait InnerTypeTrait:
    Debug + Clone + std::fmt::Display + PartialEq + Eq + Into<&'static str> + Send + Sync + 'static
{
}

#[derive(Debug, Clone, Display, PartialEq, Eq, IntoStaticStr)]
#[strum(serialize_all = "snake_case")]
pub enum OuterType<R: InnerTypeTrait> {
    Foo
    #[strum(transparent)]
    Bar(R),
}

And this fails with

error[E0277]: the trait bound `&str: std::convert::From<&R>` is not satisfied
   |
47 | #[derive(Debug, Clone, Display, PartialEq, Eq, IntoStaticStr)]
   |                                                ^^^^^^^^^^^^^ the trait `std::convert::From<&R>` is not implemented for `&str`
   |
   = note: this error originates in the derive macro `IntoStaticStr` (in Nightly builds, run with -Z macro-backtrace for more info)

But when I just nest one IntoStaticStr derived variant Enum into another with transparent it works fine, so it means I'm missing some trait bound on the InnerTypeTrait.

Any idea what that might be? Thanks!

[blind-oracle]

I've tried adding

where
    for<'a> &'static str: std::convert::From<&'a R>,

to the OuterType but this leads to a infinite recursion:

overflow evaluating the requirement `for<'a> &'static str: std::convert::From<&'a str>`