Obviously not an issue for returns where the taxpayer is eligible for the election not to file an 1116, although the instructions clearly say "You are still required to take into account the general rules for determining whether a tax is creditable." One of the things I've learned in trying to prepare some larger-dollar returns correctly is that Switzerland withholds at 35%, despite the treaty rate being 15%.