§3.1.(k) Callout to generic method

When referring to a generic base method

1
<T> T bm(T a)

a callout binding may either propagate the method's genericity as in

2
<T> T rm(T a) -> T bm(T a);

or it may supply a valid substitution for the type parameter as in

2
String rm(String a) -> String bm(String a);