Tem que ser um tipo [`IEnumerable`][1]. Na impede de retornar outro tipo que sejam adequados aos métodos normalmente usados no [LINQ][2], desde que ele implemente um o mesmo que um `IEnumerable` implementa. Ou seja, pode retornar qualquer tipo que implemente o método [`GetEnumerator()`][3]. Porque o LINQ é apenas uma forma de pegar dados que podem ser enumerados.

Outra interface muito comum de ser usada no LINQ é a [`IQueryable`][4] que herda de `IEnumarable`, como pode ser visto na documentação. É o caso da expressão usada na pergunta.

O mais importante é que as pessoas imaginam que retorna um dado concreto, que retorna uma lista de dados. Que você pode ver na memória todos os dados logo após executar esta expressão. Não é isto que ocorre de fato.

Se fizer um perfilamento ou algum acompanhamento de performance específico nesta expressão verá que ela é rápida demais. Mais ainda, ele tem complexidade essencialmente O(1). Não importante o tamanho dos dados que tem que manipular, ela executa sempre no mesmo tempo (varia de acordo com a complexidade da expressão). Geralmente fica na cada de poucos milesegundos.

LINQ é uma tecnologia faz faz avaliação preguiçosa. Ele se vale dos geradores, são escritos com [`yield`][5]. Este é o motivo de precisar de um `GetEnumerator()`, o `yield` é feito à base de uma enumeração.

De fato você só acessa os dados que realmente precisa na hora que for usar. Uma destas formas é chamar um `ToList()`, `ToArray()` ou outro que exija dados concretos. Neste momento a expressão realmente é aplicada à coleção e gera uma outra coleção. Pode medir isto costuma ser bem lento em casos qde coleções grandes que precisam ser avaliadas. Por sorte algumas expressões não precisam, ir até o fim para descobri que ela já encerrou.

Muitas vezes é um erro fazer isto. Muitos programadores fazem porque aprenderam que no final de uma expressão LINQ deve fazer isto. Sim, em muitos casos deve mesmo, mas nem sempre. Quando isto é feito é aplicado a expressão em todos os itens da coleção que precise avaliar. Há casos em que não deseja fazer isto. Há casos que até deseja, mas pode fazer um laço junto com a avaliação dos itens. Quando se aplica um destes métodos que concretiza a coleção avaliada pelo LINQ e depois roda um laço, são dois laços ocorrendo, isto pode ser desperdício de recurso.

Alguns programadores acham o LINQ uma coisa mágica. Outros até pensam, mas deve ser ineficiente fazer esse treco todo. Porque Se tem um método que faz um laço em todos os itens, depois tem outro método que faz outro laço, e pode ter mais uma infinidade de métodos, cada um com um laço, deve ser bem lento executar tudo isto. E se tiver curiosidade de ver [o fonte de um destes métodos][6], tem um laço em cada mesmo. Mas o `yield` é o segredo. Na verdade ele só executa uma passo do laço e encerra. Ou seja, ele aplica o predicado necessário no item e vai pro próximo método que aplica a sua parte e entrega para o próximo. Só depois de todos os métodos executarem em um item, é que vai para o próximo item da coleção. Então na prática só um laço é executado não importa quantos métodos LINQ sejam invocados naquela expressão.

É claro que o `yield` tem seu custo. Se fizer isto na mão em um laço só juntando tudo o que precisa, certamente será mais rápido. Em alguns casos a pera de performance pode ser bem ruim. Em um banco de dados **pode** ser insignificante.

Então não ache que aquela variável (`query` no caso específico) tem algum dado nele logo em seguida. Ali tem um objeto com a expressão (de uma certa forma o código necessário para executar a expressão) a ser executada, e não os dados. Em um `IQueryable` ([veja a diferença][7]) provavelmente terá uma [forma de acessar uma expressão SQL][8] (não que precise) já montada durante a compilação da expressão em tempo de execução. O tempo aparentemente grande dessa expressão que não avalia dado algum é justamente por essa compilação.

Quando executa um método que concretiza a expressão, aí o retorno será um tipo concreto que seja necessário. Neste caso específico será uma [`List<Pessoa>`][9] (provavelmente, depende, pode ser [outra coleção][10]).

Tem gente que diz que a [perda de performance do LINQ é desprezível. Não é bem assim][11]. Tem casos que você sai de alguns microsegundos sem LINQ para milesegundos quando o usa. Pode ser milhares de vezes mais. E aí a pessoa diz que ainda será bem abaixo de um segundo. Mas se você colocar isso em um laço com milhares de execuções, é a diferença entre executar o todo em milesegundos ou em vários minutos.


  [1]: https://msdn.microsoft.com/en-us/library/9eekhta0%28v=vs.110%29.aspx
  [2]: http://pt.stackoverflow.com/q/125601/101
  [3]: https://msdn.microsoft.com/en-us/library/s793z9y2%28v=vs.110%29.aspx
  [4]: https://msdn.microsoft.com/en-us/library/bb351562%28v=vs.110%29.aspx
  [5]: http://pt.stackoverflow.com/q/44293/101
  [6]: http://referencesource.microsoft.com/#System.Core/System/Linq/Enumerable.cs,e2d8014ab698cbfc
  [7]: http://pt.stackoverflow.com/q/17284/101
  [8]: http://pt.stackoverflow.com/q/125811/101
  [9]: https://msdn.microsoft.com/en-us/library/6sh2ey19%28v=vs.110%29.aspx
  [10]: http://pt.stackoverflow.com/q/76316/101
  [11]: http://pt.stackoverflow.com/q/78470/101