Está situada no cimo da Rua de 31 de Janeiro e no lado norte da Praça da Batalha. A Igreja de Santo Ildefonso, no seu barroco sóbrio, já próxima do classicismo, apresenta uma fachada austera do início do séc. XVIII, mas bastante alterada.
Esta igreja começou por ser uma pequena ermida, mas pouco a pouco foi-se acrecentando, e em 1932 receberam novas beneficiações, revestindo assim a fachada com 11 mil azulejos de Jorge Colaço, que figuravam a vida de Santo Ildefonso e alegorias da Eucaristía. Só em 1996 é que se descobriu que esta igreja está assente num cemitério térreo, tendo sido descobertas 19 sepulturas.
A Igreja de Santo Ildefonso pertence ao barroco rígido, sóbrio, próximo do classicismo. No interior podemos ver tanto estilo barroco como rococó. E mais uma vez podemos apreciar aquí o dedo de Nasoni, sendo da sua autoria o retábulo, as sanefas, as varandas, os lavatorios da capela-mor, assim como os púlpitos e as molduras que os rematam