[PATCH] D65718: [LangRef] Document forward-progress requirement

[Nikita Popov via Phabricator via llvm-commits]

nikic abandoned this revision.
nikic added a comment.

Abandoning this revision, as I expect this to get superseded by the LangRef patch for D85393 <https://reviews.llvm.org/D85393> or a variation thereon, which will have to define both what constitutes forward progress and how the attributes either opts into or out of it.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D65718/new/

https://reviews.llvm.org/D65718