···185185pub(crate) struct ExprTyper<'a, 'b> {
186186 pub(crate) environment: &'a mut Environment<'b>,
187187188188+ // This is set to true if the previous expression that has been typed is
189189+ // determined to always panic.
190190+ // For example when typing a literal `panic`, this flag will be set to true.
191191+ // The same goes, for example, if the branches of a case expression all
192192+ // panic.
188193 pub(crate) previous_panics: bool,
194194+195195+ // This is used to track if we've already warned for unreachable code.
196196+ // After emitting the first unreachable code warning we never emit another
197197+ // one to avoid flooding with repetitive warnings.
189198 pub(crate) already_warned_for_unreachable_code: bool,
190199191200 pub(crate) implementations: Implementations,