package edu.umd.cs.daveho;

interface Vertex<ActualVertexType>
	extends Comparable<ActualVertexType>
{ }

interface Edge
	<
	ActualEdgeType,
	VertexType extends Vertex<VertexType>
	>
	extends Comparable<ActualEdgeType>
{ }

class AbstractEdge
	<
	ActualEdgeType extends AbstractEdge<ActualEdgeType, VertexType>,
	VertexType extends AbstractVertex<ActualEdgeType, VertexType>
	>
	implements Edge<ActualEdgeType, VertexType>
{
	private int id;
	
	public int compareTo(ActualEdgeType other) {
		// Error: "The field other.id is not visible"
		return id - other.id;
	}
}

class AbstractVertex
	<
	EdgeType extends AbstractEdge<EdgeType, ActualVertexType>,
	ActualVertexType extends AbstractVertex<EdgeType, ActualVertexType>
	> implements Vertex<ActualVertexType>
{
	private int id;

	public int compareTo(ActualVertexType other) {
		// Error: "The field other.id is not visible"
		return id - other.id;
	}
}

public class VisibilityBug {
}