Ответ 1
Отклонение будет поддерживаться только безопасным способом - фактически, используя способности, которые CLR уже имеет. Поэтому примеры, которые я даю в книге по попытке использовать List<Banana> как List<Fruit> (или что бы это там было), по-прежнему не сработают, но некоторые другие сценарии будут.
Во-первых, он будет поддерживаться только для интерфейсов и делегатов.
Во-вторых, для этого требуется, чтобы автор интерфейса/делегата украшал параметры типа in (для контравариантности) или out (для ковариации). Наиболее очевидным примером является IEnumerable<T>, который только позволяет вам принимать значения "из" - это не позволяет добавлять новые. Это станет IEnumerable<out T>. Это не повредит безопасности типов вообще, но позволяет вернуть IEnumerable<string> из метода, объявленного для возврата IEnumerable<object>, например.
Контравариантность сложнее дать конкретные примеры использования интерфейсов, но это легко с делегатом. Рассмотрим Action<T> - который представляет только метод, который принимает параметр T. Было бы неплохо легко преобразовать Action<object> в качестве Action<string> - любой метод, который принимает параметр object, будет хорошим, если вместо него будет представлен string. Конечно, С# 2 уже имеет ковариацию и контравариантность делегатов в некоторой степени, но через фактическое преобразование из одного типа делегата в другой (создание нового экземпляра) - см. Примеры P141-144. С# 4 сделает это более общим, и (я полагаю) избежит создания нового экземпляра для преобразования. (Вместо этого это будет ссылочное преобразование.)
Надеюсь, что это немного очистит - пожалуйста, дайте мне знать, если это не имеет смысла!