The Luxemburgian War of Succession took place during the years 1660-64. France and its allies Venice, Bavaria, Switzerland and Nassau made claims for Luxemburgian territories, although they were highly doubtful.
But with the absolutist François IV as French king, things like this didn't matter. Although Luxemburg had (most of) the HRE on its side, they were defeated. Vorarlberg became a Swiss canton, South Tyrol went to Venice, the rest of Tyrol to Bavaria; Nassau got a part of Luxemburg proper, the rest (including Lorraine) became French.
The rightful heir, Karl X (VII in Tyrol) only received Brabant-Limburg. "The old sting in France's side", as François IV used to say, was now removed.