about summary refs log tree commit diff
diff options
context:
space:
mode:
authorSantiago Pastorino <spastorino@gmail.com>2023-01-22 12:36:58 -0300
committerSantiago Pastorino <spastorino@gmail.com>2023-01-22 12:36:58 -0300
commitb905f80036a886c359149934b0772edd2f556c2a (patch)
tree7fdff4236d81216d10dca5fc08b36722995d4b93
parent6155a803805acaddd2518f09c2da70fbc320b274 (diff)
fn-trait-closure test now pass on new solver
-rw-r--r--tests/ui/traits/new-solver/fn-trait-closure.rs9
1 files changed, 1 insertions, 8 deletions
diff --git a/tests/ui/traits/new-solver/fn-trait-closure.rs b/tests/ui/traits/new-solver/fn-trait-closure.rs
index c0ecf1c91fb..bd65737ee39 100644
--- a/tests/ui/traits/new-solver/fn-trait-closure.rs
+++ b/tests/ui/traits/new-solver/fn-trait-closure.rs
@@ -1,12 +1,5 @@
 // compile-flags: -Ztrait-solver=next
-// known-bug: unknown
-// failure-status: 101
-// dont-check-compiler-stderr
-
-// This test will fail until we fix `FulfillmentCtxt::relationships`. That's
-// because we create a type variable for closure upvar types, which is not
-// constrained until after we try to do fallback on diverging type variables.
-// Thus, we will call that function, which is unimplemented.
+// check-pass
 
 fn require_fn(_: impl Fn() -> i32) {}