diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2023-01-22 12:36:58 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2023-01-22 12:36:58 -0300 |
| commit | b905f80036a886c359149934b0772edd2f556c2a (patch) | |
| tree | 7fdff4236d81216d10dca5fc08b36722995d4b93 | |
| parent | 6155a803805acaddd2518f09c2da70fbc320b274 (diff) | |
fn-trait-closure test now pass on new solver
| -rw-r--r-- | tests/ui/traits/new-solver/fn-trait-closure.rs | 9 |
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) {} |
