diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-12-06 23:13:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-06 23:13:50 +0100 |
| commit | b3a69bf34ee8fda73d51eabdafaee2d632c842ef (patch) | |
| tree | fde8ee193c681caacf48149caa31ab2b471780e2 | |
| parent | 001bd5128bc8a859da59a4cbbb83bc6e770b0bae (diff) | |
| parent | 3ca5c821c250a8f7b3b99fc515521890c357da5c (diff) | |
| download | rust-b3a69bf34ee8fda73d51eabdafaee2d632c842ef.tar.gz rust-b3a69bf34ee8fda73d51eabdafaee2d632c842ef.zip | |
Rollup merge of #105380 - BoxyUwU:triagebot_ping_pls, r=lcnr
add const generics ping files things for me r? `@lcnr`
| -rw-r--r-- | triagebot.toml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/triagebot.toml b/triagebot.toml index bc0b88b2bab..49945e5c533 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -331,8 +331,16 @@ message = "Some changes occurred to MIR optimizations" cc = ["@rust-lang/wg-mir-opt"] [mentions."compiler/rustc_trait_selection/src/traits/const_evaluatable.rs"] -message = "Some changes occurred in const_evaluatable.rs" -cc = ["@lcnr"] +message = "Some changes occurred in `const_evaluatable.rs`" +cc = ["@BoxyUwU"] + +[mentions."compiler/rustc_middle/src/ty/abstract_const.rs"] +message = "Some changes occured in `abstract_const.rs`" +cc = ["@BoxyUwU"] + +[mentions."compiler/rustc_ty_utils/src/consts.rs"] +message = "Some changes occured in `rustc_ty_utils::consts.rs`" +cc = ["@BoxyUwU"] [mentions."compiler/rustc_trait_selection/src/traits/engine.rs"] message = """ |