diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2022-06-02 17:51:39 +1000 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2022-06-06 08:47:49 +1000 |
| commit | 32741d5d1645a41acd16addc9612b1253e101458 (patch) | |
| tree | 9ed55442a347a9563f26c9b716d67736ccc6d661 /src/librustdoc/html/static/js/source-script.js | |
| parent | 281229a6d392c192d44d9de0d98675303b3fa271 (diff) | |
| download | rust-32741d5d1645a41acd16addc9612b1253e101458.tar.gz rust-32741d5d1645a41acd16addc9612b1253e101458.zip | |
Split `process_obligation` in two.
Because it really has two halves: - A read-only part that checks if further work is needed. - The further work part, which is much less hot. This makes things a bit clearer and nicer.
Diffstat (limited to 'src/librustdoc/html/static/js/source-script.js')
0 files changed, 0 insertions, 0 deletions