about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-6/+8
2022-01-30Rollup merge of #93358 - compiler-errors:is-not-const, r=fee1-deadMatthias Krüger-7/+25
2022-01-28Auto merge of #93343 - lqd:attrs, r=spastorinobors-18/+25
2022-01-26drive-by: use is_const and is_const_if_constMichael Goulet-8/+4
2022-01-26add note suggesting that predicate is satisfied but is not constMichael Goulet-0/+22
2022-01-26Rollup merge of #92256 - fee1-dead:improve-selection-err, r=oli-obkMatthias Krüger-148/+220
2022-01-26Only traverse attrs once while checking for coherence overrideRémy Rakic-18/+25
2022-01-25Auto merge of #93095 - Aaron1011:remove-assoc-ident, r=cjgillotbors-13/+20
2022-01-26Add a minimal working `append_const_msg` argumentDeadbeef-8/+50
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-144/+174
2022-01-25Rollup merge of #93175 - spastorino:negative-traits-coherence-new, r=nikomats...Matthias Krüger-61/+201
2022-01-25Rollup merge of #93064 - Aaron1011:provisional-dep-node, r=michaelwoeristerMatthias Krüger-12/+51
2022-01-24Auto merge of #93028 - compiler-errors:const_drop_bounds, r=fee1-deadbors-136/+194
2022-01-23FIXME include regions tooSantiago Pastorino-1/+4
2022-01-23Rename strict_check to negative_impl_existsSantiago Pastorino-4/+8
2022-01-23Document OverlapModeSantiago Pastorino-0/+5
2022-01-22Restructure the code leveraging in abilities more than modesSantiago Pastorino-51/+47
2022-01-21Remove intermediate function doesn't make more senseSantiago Pastorino-28/+11
2022-01-21Make strict_disjoint use explicit_disjointSantiago Pastorino-9/+12
2022-01-21Do not pass OverlapMode down, just create a closure to properly set the filte...Santiago Pastorino-16/+33
2022-01-21Implement stable with negative coherence modeSantiago Pastorino-4/+95
2022-01-21Add overlap modeSantiago Pastorino-9/+27
2022-01-21Extract stable_disjoint fnSantiago Pastorino-21/+41
2022-01-21Rollup merge of #93046 - est31:let_else, r=davidtwcoMatthias Krüger-28/+27
2022-01-21Move auxiliary fns out of overlap_with_probeSantiago Pastorino-19/+19
2022-01-21Use impl1 and impl2 instead of a and b prefixesSantiago Pastorino-16/+16
2022-01-21Remove a span from hir::ExprKind::MethodCallCameron Steffen-1/+4
2022-01-19Foreign types are trivially dropMichael Goulet-2/+3
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-13/+20
2022-01-19remove `is_noop`lcnr-1/+1
2022-01-19skip some layers in const drop confirmationMichael Goulet-70/+91
2022-01-19never type is const DropMichael Goulet-3/+5
2022-01-18Properly track `DepNode`s in trait evaluation provisional cacheAaron Hill-12/+51
2022-01-18Rollup merge of #92780 - b-naber:postpone-const-eval-coherence, r=lcnrMatthias Krüger-8/+3
2022-01-18Use let_else in even more placesest31-28/+27
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-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