We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 280cedb commit 67fe85cCopy full SHA for 67fe85c
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:
201
- Before a result is stolen, we make sure to eagerly run all queries that
202
might ever need to read that result. This has to be done manually by calling
203
those queries.
204
-- Whenever a query tries to access a stolen result, we make the compiler ICE so
205
- 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.
206
207
This is not an ideal setup because of the manual intervention needed, so it
208
should be used sparingly and only when it is well known which queries might
0 commit comments