The Igreja de Santo Ildefonso is an eighteenth-century church in Porto, Portugal. The church is located near Batalha Square.
Completed in 1739, the church was built in a proto-Baroque style and features a retable by the Italian artist Nicolau Nasoni and a façade of 1932 azulejo tilework. The church is named in honour of the Visigoth, Ildephonsus of Toledo, bishop of Toledo from 657 until his death in 667.
Wikipedia https://en.wikipedia.org/wiki/Church_of_Saint_Ildefonso
Coordinates 41°8'46.369" N -8°36'23.637" E