bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Avoid calling item_name for RPITIT

Browse source
This commit is contained in:
Santiago Pastorino 2023-07-06 16:18:24 -03:00
parent c4c84df3b3
commit c0c155137b
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
4 changed files with 102 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/rustc_infer/src/traits/error_reporting/mod.rs
View file

@ -25,9 +25,11 @@ impl<'tcx> InferCtxt<'tcx> {
"impl has stricter requirements than trait"
);
if let Some(span) = self.tcx.hir().span_if_local(trait_item_def_id) {
let item_name = self.tcx.item_name(impl_item_def_id.to_def_id());
err.span_label(span, format!("definition of `{}` from trait", item_name));
if !self.tcx.is_impl_trait_in_trait(trait_item_def_id) {
if let Some(span) = self.tcx.hir().span_if_local(trait_item_def_id) {
let item_name = self.tcx.item_name(impl_item_def_id.to_def_id());
err.span_label(span, format!("definition of `{}` from trait", item_name));
}
}
err.span_label(error_span, format!("impl has extra requirement {}", requirement));