| /* | |
| * Test case for Issue 116: | |
| * https://github.com/typetools/checker-framework/issues/116 | |
| */ | |
| class Issue116Node<EdgeType extends Issue116Edge<? extends Issue116Node<EdgeType>>> {} | |
| class Issue116Edge<NodeType extends Issue116Node<? extends Issue116Edge<NodeType>>> {} | |
| // The first two lines are already enough to trigger one bug. The next line reveals another. | |
| public class Issue116Graph< | |
| GrNodeType extends Issue116Node<GrEdgeType>, GrEdgeType extends Issue116Edge<GrNodeType>> {} |