So, that's the question. The methods in a synthetic class are not marked as synthetic, so if we examine the body there is no way to distinguish generated code from lifted user code (thus my hope/assumption that this never happens, it would be nice to be able to say synthetic classes aren't our problem).