17 lines
281 B
Rust
17 lines
281 B
Rust
// 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() {}
|