Ping Nadrieril when changing exhaustiveness checking

This commit is contained in:
Nadrieril 2023-04-30 22:43:46 +02:00 committed by Nadrieril
parent f2eb9f85b9
commit f93f6c5cc5

View file

@ -367,6 +367,10 @@ cc = ["@lcnr", "@compiler-errors"]
message = "Some changes occurred in diagnostic error codes"
cc = ["@GuillaumeGomez"]
[mentions."compiler/rustc_mir_build/src/thir/pattern"]
message = "Some changes might have occurred in exhaustiveness checking"
cc = ["@Nadrieril"]
[mentions."library"]
message = """
Hey! It looks like you've submitted a new PR for the library teams!