summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-01-18Auto merge of #87648 - JulianKnodt:const_eq_constrain, r=oli-obkbors-24/+33
2022-01-18Check const Drop impls considering ConstIfConst boundsMichael Goulet-136/+170
2022-01-17Fix Inline MIR pass on a function with un-satisfiable boundsMichael Goulet-0/+2
2022-01-17Update with final commentskadmin-4/+4
2022-01-17Add term to ExistentialProjectionkadmin-6/+5
2022-01-17Update w/ commentskadmin-2/+1
2022-01-17Update term for use in more placeskadmin-18/+28
2022-01-17Use Term in ProjectionPredicatekadmin-13/+14
2022-01-17directly use ConstValue for single literals in blocksb-naber-8/+3
2022-01-17Auto merge of #90986 - camsteffen:nested-filter, r=cjgillotbors-18/+0
2022-01-17Auto merge of #92816 - tmiasko:rm-llvm-asm, r=Amanieubors-1/+1
2022-01-16Replace NestedVisitorMap with NestedFilterCameron Steffen-18/+0
2022-01-16Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakisMatthias Krüger-1/+3
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-59/+34
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-3/+4
2022-01-15Return a LocalDefId in get_parent_item.Camille GILLOT-2/+2
2022-01-15Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakisMatthias Krüger-19/+29
2022-01-15nyahggdshjjghsdfhgsfEllen-2/+0
2022-01-15unrevert # 88557Ellen-28/+5
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-57/+41
2022-01-15initial revertEllen-93/+109
2022-01-13Rollup merge of #92006 - oli-obk:welcome_opaque_types_into_the_fold, r=nikoma...Matthias Krüger-19/+42
2022-01-12Remove deprecated LLVM-style inline assemblyTomasz Miąsko-1/+1
2022-01-11Auto merge of #92070 - rukai:replace_vec_into_iter_with_array_into_iter, r=Ma...bors-3/+3
2022-01-10Rollup merge of #92248 - compiler-errors:normalize-type-for-pointee, r=jackh726Matthias Krüger-6/+32
2022-01-10Elaborate param_env predicates when checking if type outlives involving proje...Jack Huey-1/+3
2022-01-09eplace usages of vec![].into_iter with [].into_iterLucas Kent-3/+3
2022-01-07Add query to avoid name comparison in `leaf_def`Matthew Jasper-28/+34
2021-12-29Auto merge of #92244 - petrochenkov:alltraits, r=cjgillotbors-6/+6
2021-12-28Rollup merge of #92076 - Aaron1011:rustdoc-auto-trait-ignore, r=cjgillotMatthias Krüger-1/+11
2021-12-28rustc_metadata: Encode list of all crate's traits into metadataVadim Petrochenkov-6/+6
2021-12-25normalize env constness for nested obligationsDeadbeef-0/+33
2021-12-24Normalize struct tail type when checking Pointee traitMichael Goulet-6/+32
2021-12-22When obligation is a sized predicate, prefer projection or object candidates ...Jack Huey-19/+29
2021-12-21Fix bad caching of `~const Drop` boundsDeadbeef-3/+3
2021-12-20Auto merge of #92041 - Aaron1011:remove-speculative-evaluation, r=jackh726bors-18/+1
2021-12-20Eliminate `ObligationCauseData`.Nicholas Nethercote-56/+54
2021-12-19Auto merge of #91957 - nnethercote:rm-SymbolStr, r=oli-obkbors-2/+2
2021-12-18Re-introduce concept of projection cache 'completion'Aaron Hill-3/+69
2021-12-18Ignore other `PredicateKind`s in rustdoc auto trait finderAaron Hill-1/+11
2021-12-17Remove 'speculative evaluation' of predicatesAaron Hill-18/+1
2021-12-16Prove obligations to termination instead of ignoring ambiguities.Oli Scherer-19/+42
2021-12-16Rollup merge of #91904 - SylvanB:remove_in_band_lifetimes_rustc_trait_selecti...Matthias Krüger-54/+63
2021-12-15Auto merge of #86986 - lcnr:simplify_type, r=nikomatsakis,oli-obkbors-18/+62
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-54/+63
2021-12-15Rollup merge of #91880 - matthiaskrgr:clippy_perf_dec, r=jyn514Matthias Krüger-1/+1
2021-12-15Remove unnecessary sigils around `Symbol::as_str()` calls.Nicholas Nethercote-2/+2
2021-12-15Rollup merge of #91881 - Patrick-Poitras:stabilize-iter-zip, r=scottmcmMatthias Krüger-1/+0
2021-12-14Stabilize iter::zip.PFPoitras-1/+0
2021-12-14fmtlcnr-2/+1