r
Size: a a a
r
r
r
AZ
AZ
AZ
struct Generic<A, B>(...);
impl<T: Generic<...>> X<T> {
fn x(_: T::A, _: T::B) {}
}
В
AZ
struct Generic<A, B>(...);
impl<T: Generic<...>> X<T> {
fn x(_: T::A, _: T::B) {}
}
(Has a m, Has b m) => instance X m
x = ...
AZ
instance X (m a b)
В
NL
DF
AZ
G
DF
DF
В
В
DF