blob: d6c9d0aa8bea11eeea71c3783260aceb89e42299 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
// Alias might not cover type parameters.
//@ revisions: classic next
//@[next] compile-flags: -Znext-solver
//@ aux-crate:foreign=parametrized-trait.rs
//@ edition:2021
//@ known-bug: #99554
//@ check-pass
trait Id {
type Assoc;
}
impl<T> Id for T {
type Assoc = T;
}
pub struct B;
impl<T> foreign::Trait2<B, T> for <T as Id>::Assoc {
type Assoc = usize;
}
fn main() {}
|
