https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88102
--- Comment #1 from emsr at gcc dot gnu.org --- I saw this through reddit: https://gitlab.com/lock3/gcc-new.git branch origin/contracts-jac-kona This user has several interesting branches of contracts and concepts! Wiki: http://gummif.github.io/blog/contract_code_gen.html
