private bool ExactNullableInference(CType pSource, CType pDest)
{
// SPEC: Otherwise, if U is the CType U1? and V is the CType V1?
// SPEC: then an exact inference is made from U to V.
if (!pSource.IsNullableType() || !pDest.IsNullableType())
{
return false;
}
ExactInference(pSource.AsNullableType().GetUnderlyingType(),
pDest.AsNullableType().GetUnderlyingType());
return true;
}