The Igreja de Santo Ildefonso is an eighteenth-century church in Porto, situated 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 azulejo tilework. The church is named in honour of the Visigoth, Ildephonsus of Toledo, bishop of Toledo from 657 until his death in 667.Prior to the building of the church of Saint Ildefonso, a chapel, known as Santo Alifon, stood on the site. Its construction date is unknown, but several early texts mention its existence. The earliest known reference to the site and the original chapel is in a work by a bishop of Porto, Vicente Mendes, dated 1296.The aged chapel, in danger of collapsing, was demolished in 1709 and construction began on the new church that year. The building took thirty years to complete, finally inaugurated and blessed on 18 July 1739. The first stage of construction was completed in 1730, when the main body was finished and the tympanum, bearing the date M DCC XXX (1730), was placed.