// Regression test for #135235.
trait Foo {
    type Assoc;

    fn from(s: Self::Assoc) -> Self;
}

struct W<T>(T);

impl<T: Foo> From<[T::Assoc; 1]> for W<T> {
    fn from(from: [T::Assoc; 1]) -> Self {
        let [item] = from;
        W(Foo::from(item))
    }
}

fn main() {}