Когда жираф не жираф?

Я надеюсь, что эта "загадка" является онтопом в Программировании Пазлов и Code Golf.

Приведите пример ситуации, когда метод C # ниже возвращаетfalse :

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

Правила: приведенные выше строки кода не должны быть изменены каким-либо образом, но вы должны поместить код в приложение, чтобы «проект» компилировался и вызывался метод. При запуске метод должен вернуться false. Решение, которое я имею в виду, не генерирует свой собственный IL во время выполнения или подобные "экзотические" вещи, это обычный вызов метода экземпляра.

Yay, нашел это!

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, потому что

имена членов не могут совпадать с типом включения

- но такого правила не существует для производных классов.

Аккуратная проблема, заняла у меня некоторое время.