There is a fun thought experiment where one takes a copyright license and rewrite it in terms of only positive permissions. Since copyright law by default forbids everything, every aspect of a copyright license is a form of granted permission.
The GPL would then be a number of permissions similar to:
You are hereby given permission to give other people a all-permissions-granted patent license of all patents that you own, and along side that license you are given permission to include my copyrighted source code, and optionally in addition to that source code you may then add a compiled version along side that source code.
No restrictions and depending on how one want to interpret "in addition/along side", not even a condition.
The GPL would then be a number of permissions similar to:
You are hereby given permission to give other people a all-permissions-granted patent license of all patents that you own, and along side that license you are given permission to include my copyrighted source code, and optionally in addition to that source code you may then add a compiled version along side that source code.
No restrictions and depending on how one want to interpret "in addition/along side", not even a condition.