tree 98b9aad1bb6c42b98549f448208556e1ebeaf6f2
parent abf212c16cbc2fdef9dc4b515165f144c716f3d3
author Nicholas Nethercote <n.nethercote@gmail.com> 1727911541 +1000
committer Nicholas Nethercote <n.nethercote@gmail.com> 1728365264 +1100

Add a useful comment about `InferOk`.

Prompted by #131134, which tried to remove `InferOk<'tcx, ()>`
occurrences.