diff options
| author | Michael Goulet <michael@errs.io> | 2023-12-14 15:56:05 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-12-15 18:13:40 +0000 |
| commit | 18bf0caa5af355a216c132a30feab40187a9502f (patch) | |
| tree | ea4ccaf9dd04a12a2cef45d78270059731c12e32 | |
| parent | 5b0b7cd8f9181037dd5fb8a0f77826d8261e43ad (diff) | |
| download | rust-18bf0caa5af355a216c132a30feab40187a9502f.tar.gz rust-18bf0caa5af355a216c132a30feab40187a9502f.zip | |
Notify lcnr and errs when relations change
| -rw-r--r-- | triagebot.toml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 30f049c79d6..604d2eaee57 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -441,6 +441,14 @@ cc = ["@rust-lang/miri"] message = "Some changes occurred in need_type_info.rs" cc = ["@lcnr"] +[mentions."compiler/rustc_middle/src/ty/relate.rs"] +message = "Type relation code was changed" +cc = ["@compiler-errors", "@lcnr"] + +[mentions."compiler/rustc_infer/src/infer/relate"] +message = "Type relation code was changed" +cc = ["@compiler-errors", "@lcnr"] + [mentions."compiler/rustc_middle/src/mir/interpret"] message = "Some changes occurred to the CTFE / Miri engine" cc = ["@rust-lang/miri"] |