From a4dfd7c7b7de80a7a47babb5301bbf8d6b32fd1f Mon Sep 17 00:00:00 2001
From: OdenShirataki <oden.srtk@gmail.com>
Date: Sun, 11 Feb 2024 15:03:21 +0900
Subject: [PATCH] Use param.name.indent().span if trait bounds not exists.

To fix the following issue.
Diagnostic suggests adding : ?Sized in an incorrect place if a type parameter default is present
---
 .../error_reporting/type_err_ctxt_ext.rs      |  2 +-
 tests/ui/traits/issue-120878.rs               |  9 +++++++++
 tests/ui/traits/issue-120878.stderr           | 20 +++++++++++++++++++
 3 files changed, 30 insertions(+), 1 deletion(-)
 create mode 100644 tests/ui/traits/issue-120878.rs
 create mode 100644 tests/ui/traits/issue-120878.stderr

diff --git a/compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs b/compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs
index 07e4fef9dd4f2..fa02c0ab99a6c 100644
--- a/compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs
+++ b/compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs
@@ -2993,7 +2993,7 @@ impl<'tcx> InferCtxtPrivExt<'tcx> for TypeErrCtxt<'_, 'tcx> {
         {
             (s, " +")
         } else {
-            (span.shrink_to_hi(), ":")
+            (param.name.ident().span.shrink_to_hi(), ":")
         };
         err.span_suggestion_verbose(
             span,
diff --git a/tests/ui/traits/issue-120878.rs b/tests/ui/traits/issue-120878.rs
new file mode 100644
index 0000000000000..279638f38878d
--- /dev/null
+++ b/tests/ui/traits/issue-120878.rs
@@ -0,0 +1,9 @@
+fn main() {
+    struct StructA<A, B = A> {
+        _marker: std::marker::PhantomData<fn() -> (A, B)>,
+    }
+
+    struct StructB {
+        a: StructA<isize, [u8]>,
+    }
+}
diff --git a/tests/ui/traits/issue-120878.stderr b/tests/ui/traits/issue-120878.stderr
new file mode 100644
index 0000000000000..57e551b9ef2fa
--- /dev/null
+++ b/tests/ui/traits/issue-120878.stderr
@@ -0,0 +1,20 @@
+error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
+  --> $DIR/issue-120878.rs:7:12
+   |
+LL |         a: StructA<isize, [u8]>,
+   |            ^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = help: the trait `Sized` is not implemented for `[u8]`
+note: required by an implicit `Sized` bound in `StructA`
+  --> $DIR/issue-120878.rs:2:23
+   |
+LL |     struct StructA<A, B = A> {
+   |                       ^^^^^ required by the implicit `Sized` requirement on this type parameter in `StructA`
+help: consider relaxing the implicit `Sized` restriction
+   |
+LL |     struct StructA<A, B: ?Sized = A> {
+   |                        ++++++++
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0277`.