bors
1e9dda77b5
Auto merge of #118120 - compiler-errors:closure-kind, r=lcnr
...
Remove `PredicateKind::ClosureKind`
We don't need the `ClosureKind` predicate kind -- instead, `Fn`-family trait goals are left as ambiguous, and we only need to make progress on `FnOnce` projection goals for inference purposes.
This is similar to how we do confirmation of `Fn`-family trait and projection goals in the new trait solver, which also doesn't use the `ClosureKind` predicate.
Some hacky logic is added in the second commit so that we can keep the error messages the same.
2023-11-22 21:09:01 +00:00
..
2023-11-21 20:13:40 +01:00
2023-11-15 19:41:28 -05:00
2023-11-22 18:38:17 +11:00
2023-11-21 20:13:40 +01:00
2023-11-22 05:09:33 +00:00
2023-11-22 05:09:33 +00:00
2023-11-21 20:13:40 +01:00
2023-11-15 19:41:28 -05:00
2023-11-22 18:38:17 +11:00
2023-11-21 20:13:40 +01:00
2023-11-16 21:15:07 +00:00
2023-11-19 14:04:40 -05:00
2023-11-22 09:28:51 -08:00
2023-11-22 09:28:51 -08:00
2023-11-22 09:28:51 -08:00
2023-11-22 18:38:17 +11:00
2023-11-15 19:41:28 -05:00
2023-11-22 13:22:49 +11:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-11-21 20:13:40 +01:00
2023-11-21 20:13:40 +01:00
2023-11-22 13:56:36 +01:00
2023-11-15 19:41:28 -05:00
2023-11-15 19:41:28 -05:00
2023-11-22 18:38:17 +11:00
2023-11-22 09:28:52 -08:00
2023-11-22 05:09:33 +00:00
2023-11-22 21:09:01 +00:00
2023-11-21 20:13:40 +01:00
2023-11-22 18:38:17 +11:00
2023-11-22 18:38:20 +11:00
2023-11-22 21:09:01 +00:00
2023-11-22 11:44:56 +00:00
2023-11-22 16:15:34 +00:00
2023-11-18 12:21:58 +01:00
2023-11-21 13:43:11 -05:00
2023-11-11 15:24:33 +01:00
2023-11-21 05:49:45 +00:00
2023-11-22 09:28:51 -08:00
2023-11-22 21:09:01 +00:00
2023-11-22 18:38:17 +11:00
2023-11-22 18:38:17 +11:00
2023-11-22 18:38:17 +11:00
2023-11-21 20:13:40 +01:00
2023-11-21 20:13:40 +01:00
2023-11-15 14:55:35 +00:00
2023-11-22 18:37:14 +11:00
2023-11-21 20:13:40 +01:00
2023-11-21 20:13:40 +01:00
2023-11-22 18:37:14 +11:00
2023-11-21 20:13:40 +01:00
2023-11-15 19:41:28 -05:00
2023-11-22 09:28:50 -08:00
2023-11-22 21:09:01 +00:00
2023-11-22 18:38:17 +11:00
2023-11-22 09:28:51 -08:00
2023-11-22 18:38:17 +11:00
2023-11-22 21:09:01 +00:00
2023-11-22 21:09:01 +00:00
2023-11-22 08:13:21 +11:00
2023-11-22 05:09:33 +00:00
2023-11-22 21:09:01 +00:00
2023-11-22 21:09:01 +00:00