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
..
codegen.rs	get rid of a bit more calls to poly_select	2023-07-06 16:50:12 +00:00
dropck_outlives.rs	dropck_outlives check generator witness needs_drop	2023-11-02 17:20:13 +01:00
evaluate_obligation.rs	Fix clippy::needless_borrow in the compiler	2023-11-21 20:13:40 +01:00
implied_outlives_bounds.rs	Uplift complex type ops back into typeck so we can call them locally	2023-05-27 04:13:44 +00:00
lib.rs	Remove chalk from the compiler	2023-07-03 21:40:04 +00:00
normalize_erasing_regions.rs	Remove ClosureKind predicate kind	2023-11-21 18:35:45 +00:00
normalize_projection_ty.rs	Remove -Zperf-stats.	2023-11-13 09:45:20 +11:00
type_op.rs	Migrate predicates_of and caller_bounds to Clause	2023-06-26 23:12:03 +00:00