Quando uma girafa não é uma girafa?

Espero que esse tipo de "enigma" seja onópico em Programação de quebra-cabeças e código de golfe.

Dê um exemplo de uma situação em que o método C # abaixo retornafalse :

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

Regras: As linhas de código acima não devem ser alteradas de forma alguma, mas você colocaria o código em um aplicativo para que o "projeto" seja compilado e o método seja chamado. Quando executado, o método deve retornar false. A solução que tenho em mente, não emite sua própria IL em tempo de execução ou coisas "exóticas" semelhantes, é uma chamada de método de instância comum.

Yay, encontrei!

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

Como Giraffe 1é membro Animale Giraffe 2está um nível mais adiante, o nome Giraffeno isteste refere-se ao primeiro (seção 7.6.2 na especificação C # 5).

Visual Studio mostra um aviso para this is Giraffe:

A expressão fornecida nunca é do tipo fornecido

o que é obviamente verdade, já que é o ponto principal :)

Você não pode colocar Giraffe 1diretamente dentro Giraffe 2, porque

nomes de membros não podem ser iguais ao seu tipo de anexo

- mas essa regra não existe para classes derivadas.

Belo problema, demorei um pouco.