Fix unquoted projection types in label

estebank · estebank · commit 449dfc64f079 · 2023-01-30T22:02:30.000Z
diff --git a/compiler/rustc_middle/src/ty/error.rs b/compiler/rustc_middle/src/ty/error.rs
@@ -195,7 +195,7 @@ impl<'tcx> TypeError<'tcx> {
             )
             .into(),
             ProjectionMismatched(ref values) => format!(
-                "expected {}, found {}",
+                "expected `{}`, found `{}`",
                 tcx.def_path_str(values.expected),
                 tcx.def_path_str(values.found)
             )
diff --git a/tests/ui/generic-associated-types/collections-project-default.stderr b/tests/ui/generic-associated-types/collections-project-default.stderr
@@ -5,7 +5,7 @@ LL | fn floatify_sibling<C>(ints: &C) -> <C as Collection<i32>>::Sibling<f32>
    |                                     ------------------------------------ expected `<C as Collection<i32>>::Sibling<f32>` because of return type
 ...
 LL |     res
-   |     ^^^ expected Collection::Sibling, found CollectionFamily::Member
+   |     ^^^ expected `Collection::Sibling`, found `CollectionFamily::Member`
    |
    = note: expected associated type `<C as Collection<i32>>::Sibling<f32>`
               found associated type `<<C as Collection<i32>>::Family as CollectionFamily>::Member<f32>`

Original file line number	Diff line number	Diff line change
`@@ -195,7 +195,7 @@ impl<'tcx> TypeError<'tcx> {`
`195`	`195`	`)`
`196`	`196`	`.into(),`
`197`	`197`	`ProjectionMismatched(ref values) => format!(`
`198`		`- "expected {}, found {}",`
	`198`	+ "expected `{}`, found `{}`",
`199`	`199`	`tcx.def_path_str(values.expected),`
`200`	`200`	`tcx.def_path_str(values.found)`
`201`	`201`	`)`
Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ LL \| fn floatify_sibling<C>(ints: &C) -> <C as Collection<i32>>::Sibling<f32>`
`5`	`5`	\| ------------------------------------ expected `<C as Collection<i32>>::Sibling<f32>` because of return type
`6`	`6`	`...`
`7`	`7`	`LL \| res`
`8`		`- \| ^^^ expected Collection::Sibling, found CollectionFamily::Member`
	`8`	+ \| ^^^ expected `Collection::Sibling`, found `CollectionFamily::Member`
`9`	`9`	`\|`
`10`	`10`	= note: expected associated type `<C as Collection<i32>>::Sibling<f32>`
`11`	`11`	found associated type `<<C as Collection<i32>>::Family as CollectionFamily>::Member<f32>`