about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/implied_outlives_bounds.rs
AgeCommit message (Expand)AuthorLines
2021-12-30Removed `in_band_lifetimes` from `rustc_traits`Anuvrat-1/+1
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-3/+3
2021-10-15Move some outlives bounds things from rustc_trait_selection to rustc_typeckjackh726-1/+1
2021-10-15Move push_outlives_components to rustc_inferjackh726-2/+2
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+1
2021-01-16Review changesJack Huey-12/+12
2021-01-16Use no_bound_varsJack Huey-6/+4
2021-01-16CleanupJack Huey-1/+1
2021-01-16Remove PredicateKindJack Huey-1/+1
2021-01-16Intermediate formatting and suchJack Huey-8/+6
2021-01-16Remove PredicateKind::AtomJack Huey-2/+6
2020-11-16compiler: fold by valueBastian Kauschke-1/+1
2020-10-30Fix some more clippy warningsJoshua Nelson-1/+1
2020-10-06Fix bugs in evaluating WellFormed predicatesMatthew Jasper-2/+2
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-1/+2
2020-08-30mv compiler to compiler/mark-0/+166