Коли жирафа не є жирафом?

Я сподіваюсь, що така "загадка" є актуальною у програмуванні головоломки та кодовому гольфі.

Наведіть приклад ситуації, коли метод C # нижче повертаєтьсяfalse :

public class Giraffe : Animal
{
  public bool Test()
  {
    return this is Giraffe;
  }
}

Правила: рядки коду, наведені вище, ні в якому разі не слід змінювати, але ви введете код у додаток, щоб "проект" компілювався і метод викликався. При запуску метод повинен повернутися false. Я маю на увазі рішення, яке не випромінює власну ІЛ під час виконання або подібні "екзотичні" речі, це звичайний виклик методу екземпляра.

Так, знайшов!

public class Animal
{
    public class Giraffe { } // 1
}
public class Giraffe : Animal // 2
{
    public bool Test()
    {
        return this is Giraffe;
    }
}

Оскільки Giraffe 1є членом Animalта Giraffe 2є ще одним рівнем, то назва Giraffeв isтесті посилається на попередній (розділ 7.6.2 в специфікації C # 5).

Visual Studio показує попередження для this is Giraffe:

Даний вираз ніколи не надається

що, очевидно, правда, адже це вся суть :)

Ви не можете помістити Giraffe 1безпосередньо всередину Giraffe 2, тому що

імена членів не можуть бути такими ж, як їх тип, що додається

- але таке правило не існує для похідних класів.

Обережна проблема, зайняла мене час.