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