<< §3.1.(j) Inferred callout | ↑ Table of Contents ↑ |
§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); |
<< §3.1.(j) Inferred callout | ↑ Table of Contents ↑ |