Bad links from expressions to interface methods when implementation uses subtype of generic parameter

[GoogleCodeExporter]

In the following example below, Celeriac attempts to link the properties of the 
SReversedEdge parameter to the parameter of in the corresponding interface. 
However, SReversedEdge, as a subclass of IEdge, has more properties / methods.

public interface IEdgeSet<TVertex, TEdge>
  where TEdge : IEdge<TVertex>{

  bool ContainsEdge(TEdge edge);
}

public sealed class ReversedBidirectionalGraph<TVertex, TEdge> : 
  IBidirectionalGraph<TVertex,SReversedEdge<TVertex,TEdge>>
  where TEdge : IEdge<TVertex>

  public bool ContainsEdge(SReversedEdge<TVertex, TEdge> edge)
  {
     ...
  }
}

Original issue reported on code.google.com by [email protected] on 14 Jun 2013 at 3:46