notify lcnr on changes to `ObligationCtxt`

diff --git a/triagebot.toml b/triagebot.toml
index 985e065652d620b021cc1224a45fead4601336b2..a3c5f0dde07200d1838d508ce5c5a443dcec813e 100644 (file)
--- a/triagebot.toml
+++ b/triagebot.toml
@@ -334,6 +334,13 @@ cc = ["@rust-lang/wg-mir-opt"]
 message = "Some changes occurred in const_evaluatable.rs"
 cc = ["@lcnr"]
 
+[mentions."compiler/rustc_trait_selection/src/traits/engine.rs"]
+message = """
+Some changes occurred in engine.rs, potentially modifying the public API \
+of `ObligationCtxt`.
+"""
+cc = ["@lcnr"]
+
 [mentions."compiler/rustc_error_codes/src/error_codes.rs"]
 message = "Some changes occurred in diagnostic error codes"
 cc = ["@GuillaumeGomez"]