diff --git a/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs b/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs
index 617ec6c4ac229..d65715d3df283 100644
--- a/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs
+++ b/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs
@@ -285,27 +285,21 @@ impl<'a, 'tcx> TypeErrCtxt<'a, 'tcx> {
                             || self.tcx.is_diagnostic_item(sym::TryFrom, trait_def_id))
                             && (self.tcx.is_diagnostic_item(sym::From, leaf_trait_def_id)
                                 || self.tcx.is_diagnostic_item(sym::TryFrom, leaf_trait_def_id))
-                        {
-                            let trait_ref = leaf_trait_predicate.skip_binder().trait_ref;
-
-                            if let Some(found_ty) =
+                            && let Some(trait_ref) =
+                                leaf_trait_predicate.no_bound_vars().map(|pred| pred.trait_ref)
+                            && let Some(found_ty) =
                                 trait_ref.args.get(1).and_then(|arg| arg.as_type())
-                            {
-                                let ty = main_trait_predicate.skip_binder().self_ty();
+                            && let Some(ty) =
+                                main_trait_predicate.no_bound_vars().map(|pred| pred.self_ty())
+                            && let Some(cast_ty) =
+                                self.find_explicit_cast_type(obligation.param_env, found_ty, ty)
+                        {
+                            let found_ty_str = self.tcx.short_string(found_ty, &mut long_ty_file);
+                            let cast_ty_str = self.tcx.short_string(cast_ty, &mut long_ty_file);
 
-                                if let Some(cast_ty) =
-                                    self.find_explicit_cast_type(obligation.param_env, found_ty, ty)
-                                {
-                                    let found_ty_str =
-                                        self.tcx.short_string(found_ty, &mut long_ty_file);
-                                    let cast_ty_str =
-                                        self.tcx.short_string(cast_ty, &mut long_ty_file);
-
-                                    err.help(format!(
-                                        "consider casting the `{found_ty_str}` value to `{cast_ty_str}`",
-                                    ));
-                                }
-                            }
+                            err.help(format!(
+                                "consider casting the `{found_ty_str}` value to `{cast_ty_str}`",
+                            ));
                         }
 
                         *err.long_ty_path() = long_ty_file;
diff --git a/tests/ui/traits/explicit-reference-cast-hrtb.rs b/tests/ui/traits/explicit-reference-cast-hrtb.rs
new file mode 100644
index 0000000000000..8714bff369b82
--- /dev/null
+++ b/tests/ui/traits/explicit-reference-cast-hrtb.rs
@@ -0,0 +1,14 @@
+//! Regression test for #158967
+
+struct Foo;
+
+fn f()
+where
+    for<'a> Foo: From<&'a String>,
+{
+}
+
+fn main() {
+    f();
+    //~^ ERROR the trait bound `for<'a> Foo: From<&'a String>` is not satisfied [E0277]
+}
diff --git a/tests/ui/traits/explicit-reference-cast-hrtb.stderr b/tests/ui/traits/explicit-reference-cast-hrtb.stderr
new file mode 100644
index 0000000000000..4921a87900051
--- /dev/null
+++ b/tests/ui/traits/explicit-reference-cast-hrtb.stderr
@@ -0,0 +1,23 @@
+error[E0277]: the trait bound `for<'a> Foo: From<&'a String>` is not satisfied
+  --> $DIR/explicit-reference-cast-hrtb.rs:12:5
+   |
+LL |     f();
+   |     ^^^ unsatisfied trait bound
+   |
+help: the trait `for<'a> From<&'a String>` is not implemented for `Foo`
+  --> $DIR/explicit-reference-cast-hrtb.rs:3:1
+   |
+LL | struct Foo;
+   | ^^^^^^^^^^
+note: required by a bound in `f`
+  --> $DIR/explicit-reference-cast-hrtb.rs:7:18
+   |
+LL | fn f()
+   |    - required by a bound in this function
+LL | where
+LL |     for<'a> Foo: From<&'a String>,
+   |                  ^^^^^^^^^^^^^^^^ required by this bound in `f`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0277`.