I think we already exclude synthetic parameters in some places (or at least deal with the fact that they are exposed in some places but not others; IIUC, there's a TODO with a reference to some JDK bug somewhere in the code).