The only implementation ofContains. The constraint that{R} <: C is added separately by the capture checker.
Contains
{R} <: C