Examples of permissively licensed code being used in proprietary systems abound.
Has anyone ever successfully copyleft-jacked such a project? I grant that it's possible but I'm not aware of it actually happening.
That aside, any permissively licensed library used in a GPL program would technically fall under this situation, as it ends up distributed under the terms of the GPL. It just so happens that usually the libraries aren't modified by the application developer, so you can typically go find the original source.
If they are, those changes may be under the GPL, depending on whether the application developer kept the derivative version of the library explicitly under its original license, or licensed their changes under the application's license.
If one is contributing to a project with a permissive license, that should also imply being a-ok with it getting rolled into a copyleft project too.