bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #116082 - compiler-errors:default-assoc-ty-msg, r=estebank

Browse source 
Tweak expected message to explain what it's actually signifying

r? ``@estebank`` since you added this
This commit is contained in:
Matthias Krüger 2023-09-24 01:14:06 +02:00 • committed by GitHub
commit 8c9e516e6e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 10 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

10
compiler/rustc_infer/src/infer/error_reporting/note_and_explain.rs
View file

@ -616,9 +616,13 @@ fn foo(&self) -> Self::T { String::new() }
for item in &items[..] {
if let hir::AssocItemKind::Type = item.kind {
let assoc_ty = tcx.type_of(item.id.owner_id).instantiate_identity();
if self.infcx.can_eq(param_env, assoc_ty, found) {
diag.span_label(item.span, "expected this associated type");
if let hir::Defaultness::Default { has_value: true } = tcx.defaultness(item.id.owner_id)
&& self.infcx.can_eq(param_env, assoc_ty, found)
{
diag.span_label(
item.span,
format!("associated type is `default` and may be overridden"),
);
return true;
}
}