Deze kerk werd gebouwd tussen 1709 en 1739. De kerk werd vernoemd naar Ildefonsus, aartsbisschop van Toledo in de zevende eeuw. De kerk is in uitbundige barokstijl gebouwd. De gevel is bedekt met zo’n 11.000 blauw-witte tegels, die in 1932 door Jorge Colaço werden aangebracht en samen tableaus vormen uit het leven van Ildefonsus. Ook het altaarstuk is, zoals het de barok betaamt, erg druk en rijkelijk versierd. De kerk werd meerdere malen flink beschadigd, maar heeft desondanks de tand des tijds goed doorstaan.

De kerk staat aan de Praça da Batalha, aan het begin van de winkelstraat Rua de Santa Catarina.