From 50338aa59a2fe945f3f89cd72e0377f5b6a03d25 Mon Sep 17 00:00:00 2001
From: Michael Goulet <michael@errs.io>
Date: Sat, 4 May 2024 12:57:01 -0400
Subject: [PATCH] Record impl args in the proof tree
---
.../src/solve/eval_ctxt/mod.rs | 8 +++++--
.../diagnostics/point-at-failing-nested.rs | 24 +++++++++++++++++++
.../point-at-failing-nested.stderr | 23 ++++++++++++++++++
3 files changed, 53 insertions(+), 2 deletions(-)
create mode 100644 tests/ui/traits/next-solver/diagnostics/point-at-failing-nested.rs
create mode 100644 tests/ui/traits/next-solver/diagnostics/point-at-failing-nested.stderr
diff --git a/compiler/rustc_trait_selection/src/solve/eval_ctxt/mod.rs b/compiler/rustc_trait_selection/src/solve/eval_ctxt/mod.rs
index bae1c6b60115e..773babde0d7b3 100644
--- a/compiler/rustc_trait_selection/src/solve/eval_ctxt/mod.rs
+++ b/compiler/rustc_trait_selection/src/solve/eval_ctxt/mod.rs
@@ -888,8 +888,12 @@ impl<'tcx> EvalCtxt<'_, 'tcx> {
self.infcx.resolve_vars_if_possible(value)
}
- pub(super) fn fresh_args_for_item(&self, def_id: DefId) -> ty::GenericArgsRef<'tcx> {
- self.infcx.fresh_args_for_item(DUMMY_SP, def_id)
+ pub(super) fn fresh_args_for_item(&mut self, def_id: DefId) -> ty::GenericArgsRef<'tcx> {
+ let args = self.infcx.fresh_args_for_item(DUMMY_SP, def_id);
+ for arg in args {
+ self.inspect.add_var_value(arg);
+ }
+ args
}
pub(super) fn translate_args(
diff --git a/tests/ui/traits/next-solver/diagnostics/point-at-failing-nested.rs b/tests/ui/traits/next-solver/diagnostics/point-at-failing-nested.rs
new file mode 100644
index 0000000000000..840a4eb648c59
--- /dev/null
+++ b/tests/ui/traits/next-solver/diagnostics/point-at-failing-nested.rs
@@ -0,0 +1,24 @@
+//@ compile-flags: -Znext-solver
+
+trait Foo {}
+trait Bar {}
+trait Constrain {
+ type Output;
+}
+
+impl<T, U> Foo for T
+where
+ T: Constrain<Output = U>,
+ U: Bar,
+{
+}
+
+impl Constrain for () {
+ type Output = ();
+}
+
+fn needs_foo<T: Foo>() {}
+fn main() {
+ needs_foo::<()>();
+ //~^ the trait bound `(): Foo` is not satisfied
+}
diff --git a/tests/ui/traits/next-solver/diagnostics/point-at-failing-nested.stderr b/tests/ui/traits/next-solver/diagnostics/point-at-failing-nested.stderr
new file mode 100644
index 0000000000000..6bf4e3cb53493
--- /dev/null
+++ b/tests/ui/traits/next-solver/diagnostics/point-at-failing-nested.stderr
@@ -0,0 +1,23 @@
+error[E0277]: the trait bound `(): Foo` is not satisfied
+ --> $DIR/point-at-failing-nested.rs:22:17
+ |
+LL | needs_foo::<()>();
+ | ^^ the trait `Bar` is not implemented for `()`, which is required by `(): Foo`
+ |
+note: required for `()` to implement `Foo`
+ --> $DIR/point-at-failing-nested.rs:9:12
+ |
+LL | impl<T, U> Foo for T
+ | ^^^ ^
+...
+LL | U: Bar,
+ | --- unsatisfied trait bound introduced here
+note: required by a bound in `needs_foo`
+ --> $DIR/point-at-failing-nested.rs:20:17
+ |
+LL | fn needs_foo<T: Foo>() {}
+ | ^^^ required by this bound in `needs_foo`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0277`.