diff options
| -rw-r--r-- | compiler/rustc_session/src/session.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/session.rs b/compiler/rustc_session/src/session.rs index f29275bffc4..0f7db69fefe 100644 --- a/compiler/rustc_session/src/session.rs +++ b/compiler/rustc_session/src/session.rs @@ -190,6 +190,9 @@ pub struct Session { /// Tracks the current behavior of the CTFE engine when an error occurs. /// Options range from returning the error without a backtrace to returning an error /// and immediately printing the backtrace to stderr. + /// The `Lock` is only used by miri to allow setting `ctfe_backtrace` after analysis when + /// `MIRI_BACKTRACE` is set. This makes it only apply to miri's errors and not to all CTFE + /// errors. pub ctfe_backtrace: Lock<CtfeBacktrace>, /// This tracks where `-Zunleash-the-miri-inside-of-you` was used to get around a |