diff options
| author | gftea <1705787+gftea@users.noreply.github.com> | 2023-01-11 14:25:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-11 22:25:53 +0900 |
| commit | d681f110ee8f1f36f3f2df33c1afa44676dbb942 (patch) | |
| tree | 3564eef0bd00008e315b9dae64af24d66778c4e8 /src/doc/rustc-dev-guide | |
| parent | 56b65e5115a15c577392f8abb7ee2020a28f139f (diff) | |
| download | rust-d681f110ee8f1f36f3f2df33c1afa44676dbb942.tar.gz rust-d681f110ee8f1f36f3f2df33c1afa44676dbb942.zip | |
add full name for ICE (#1552)
Co-authored-by: Yuki Okushi <huyuumi.dev+love@gmail.com>
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/queries/query-evaluation-model-in-detail.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/doc/rustc-dev-guide/src/queries/query-evaluation-model-in-detail.md b/src/doc/rustc-dev-guide/src/queries/query-evaluation-model-in-detail.md index 8a08f1e04d6..296d88f6e2a 100644 --- a/src/doc/rustc-dev-guide/src/queries/query-evaluation-model-in-detail.md +++ b/src/doc/rustc-dev-guide/src/queries/query-evaluation-model-in-detail.md @@ -201,8 +201,8 @@ OK as long as the mutation is not observable. This is achieved by two things: - Before a result is stolen, we make sure to eagerly run all queries that might ever need to read that result. This has to be done manually by calling those queries. -- Whenever a query tries to access a stolen result, we make the compiler ICE so - that such a condition cannot go unnoticed. +- Whenever a query tries to access a stolen result, we make an ICE + (Internal Compiler Error) so that such a condition cannot go unnoticed. This is not an ideal setup because of the manual intervention needed, so it should be used sparingly and only when it is well known which queries might |