From 3f089971ffd41af9bfe2b362c1952b8e0809de9e Mon Sep 17 00:00:00 2001 From: Michael Goulet Date: Tue, 3 Dec 2024 22:42:41 +0000 Subject: [PATCH] Add failing test --- tests/incremental/track-deps-in-new-solver.rs | 25 +++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 tests/incremental/track-deps-in-new-solver.rs diff --git a/tests/incremental/track-deps-in-new-solver.rs b/tests/incremental/track-deps-in-new-solver.rs new file mode 100644 index 0000000000000..fb013b2b24a7c --- /dev/null +++ b/tests/incremental/track-deps-in-new-solver.rs @@ -0,0 +1,25 @@ +//@ revisions: cfail1 cfail2 + +//@ compile-flags: -Znext-solver +//@ check-pass + +pub trait Future { + type Error; + fn poll() -> Self::Error; +} + +struct S; +impl Future for S { + type Error = Error; + fn poll() -> Self::Error { + todo!() + } +} + +#[cfg(cfail1)] +pub struct Error(()); + +#[cfg(cfail2)] +pub struct Error(); + +fn main() {}