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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

I was under impression that the exact opposite was the status,
even if it wasn't consistently followed everywhere.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D65718