Well, there sort of was a war, but it was conducted by a Protestant group that famously helped settle America, the Puritans.
https://en.wikipedia.org/wiki/Christmas
However, in 17th century England, some groups such as the Puritans strongly condemned the celebration of Christmas, considering it a Catholic invention and the “trappings of popery” or the “rags of the Beast”.[50] In contrast, the established Anglican Church “pressed for a more elaborate observance of feasts, penitential seasons, and saints’ days. The calendar reform became a major point of tension between the Anglican party and the Puritan party”.[51] The Catholic Church also responded, promoting the festival in a more religiously oriented form. King Charles I of England directed his noblemen and gentry to return to their landed estates in midwinter to keep up their old-style Christmas generosity.[42] Following the Parliamentarian victory over Charles I during the English Civil War, England’s Puritan rulers banned Christmas in 1647.[50][52] Oliver Cromwell even ordered his troops to confiscate any special meals made on Christmas Day.[53]
Protests followed as pro-Christmas rioting broke out in several cities and for weeks Canterbury was controlled by the rioters, who decorated doorways with holly and shouted royalist slogans.[50] Football, among the sports the Puritans banned on a Sunday, was also used as a rebellious force: when Puritans outlawed Christmas in England in December 1647 the crowd brought out footballs as a symbol of festive misrule.[54] The book, The Vindication of Christmas (London, 1652), argued against the Puritans, and makes note of Old English Christmas traditions, dinner, roast apples on the fire, card playing, dances with “plow-boys” and “maidservants”, old Father Christmas and carol singing.[55] During the ban, semi-clandestine religious services marking Christ’s birth continued to be held, and people sang carols in secret.[56]
Christmas was restored as a legal holiday in England with the Restoration of King Charles II in 1660 when Puritan legislation was declared void, with Christmas again freely celebrated in England.[56] Many Calvinist clergymen disapproved of Christmas celebrations. As such, in Scotland, the Presbyterian Church of Scotland discouraged the observance of Christmas, and though James VI commanded its celebration in 1618, attendance at church was scant.[57] The Parliament of Scotland officially abolished the observance of Christmas in 1640, claiming that the church had been “purged of all superstitious observation of days”.[58] Whereas in England, Wales and Ireland Christmas Day is a common law holiday, having been a customary holiday since time immemorial, it was not until 1871 that it was designated a bank holiday in Scotland.[59] The diary of James Woodforde, from the latter half of the 18th century, details the observance of Christmas and celebrations associated with the season over a number of years.[60]
As in England, Puritans in Colonial America staunchly opposed the observation of Christmas.[61] The Pilgrims of New England pointedly spent their first December 25 in the New World working normally.[61] Puritans such as Cotton Mather condemned Christmas both because scripture did not mention its observance and because Christmas celebrations of the day often involved boisterous behavior.[62][63] Many non-Puritans in New England deplored the loss of the holidays enjoyed by the laboring classes in England.[64] Christmas observance was outlawed in Boston in 1659.[61] The ban on Christmas observance was revoked in 1681 by English governor Edmund Andros, but it was not until the mid-19th century that celebrating Christmas became fashionable in the Boston region.[65]
While I agree that I don’t think that an LLM is going to do the heavy lifting of making full use of Rust’s type system, I assume that Rust has some way of overriding type-induced checks. If your goal is just to get to a mechanically-equivalent-to-C++ Rust version, rather than making full use of its type system to try to make the code as correct as possible, you could maybe do that. It could provide the benefit of a starting place to start using the type system to do additional checks.