Class CapturesBound


  • public class CapturesBound
    extends Bound
    Capture(G<A1, ..., An>): The variables α1, ..., αn represent the result of capture conversion (§5.1.10) applied to G<A1, ..., An> (where A1, ..., An may be types or wildcards and may mention inference variables).
    Author:
    Federico Tomassetti