bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

notify lcnr on changes to ObligationCtxt

Browse source
This commit is contained in:
lcnr 2022-11-25 14:26:10 +01:00
parent 3f2b2eee8f
commit 68d953014e
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
triagebot.toml
View file

@ -334,6 +334,13 @@ cc = ["@rust-lang/wg-mir-opt"]
message = "Some changes occurred in const_evaluatable.rs" message = "Some changes occurred in const_evaluatable.rs"
cc = ["@lcnr"] 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"] [mentions."compiler/rustc_error_codes/src/error_codes.rs"]
message = "Some changes occurred in diagnostic error codes" message = "Some changes occurred in diagnostic error codes"
cc = ["@GuillaumeGomez"] cc = ["@GuillaumeGomez"]