about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/implied_outlives_bounds.rs
AgeCommit message (Expand)AuthorLines
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-2/+2
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-1/+1
2022-09-25Auto merge of #95474 - oli-obk:tait_ub, r=jackh726bors-0/+3
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-0/+3
2022-09-19improve infer var handling for implied boundslcnr-33/+36
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-3/+2
2022-07-20Remove unused StableMap and StableSet types from rustc_data_structuresMichael Woerister-1/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-28Make empty bounds lower to WellFormed and make WellFormed coinductiveJack Huey-3/+8
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-1/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+1
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