about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/outlives/explicit.rs
AgeCommit message (Expand)AuthorLines
2025-07-15Implement other logicstiif-0/+1
2024-10-24Implement const effect predicate in new solverMichael Goulet-1/+2
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-2/+2
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-2/+2
2024-02-14clean up potential_query_instability with FxIndexMap and UnordMapyukang-3/+3
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-2/+1
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+2
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-34/+24
2023-06-19s/Clause/ClauseKindMichael Goulet-10/+9
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-20/+22
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+69
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 14:24:15 +0000