about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-04-27rename `needs_subst` to `has_param`Boxy-3/+3
2023-04-27rename `needs_infer` to `has_infer`Boxy-17/+18
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-8/+9
2023-04-25Rollup merge of #110671 - compiler-errors:polarity, r=lcnrMatthias Krüger-3/+69
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-2/+2
2023-04-25Rollup merge of #110563 - bryangarza:refactor-trait-selection-error-reporting...Matthias Krüger-438/+678
2023-04-24Consider polarity in new solverMichael Goulet-3/+69
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-3/+3
2023-04-24Rollup merge of #110566 - compiler-errors:bad-projection-term, r=cjgillot,Box...Matthias Krüger-8/+23
2023-04-24Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-...Matthias Krüger-74/+103
2023-04-23Don't create projection ty for const projectionMichael Goulet-8/+23
2023-04-22Expect that equating a projection term always succeeds in new solverMichael Goulet-5/+10
2023-04-21Create "AppendConstMessage" enumBryan Garza-18/+28
2023-04-21Break up long function in trait selection error reportingBryan Garza-427/+657
2023-04-21Auto merge of #96840 - cjgillot:query-feed, r=oli-obkbors-15/+11
2023-04-20Result is just bool but specialMichael Goulet-7/+9
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-2/+1
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-1/+1
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-2/+3
2023-04-20Remove WithOptconstParam.Camille GILLOT-15/+11
2023-04-20Track if EvalCtxt has been tainted, make sure it can't be used to make query ...Michael Goulet-0/+20
2023-04-19Rollup merge of #110531 - lcnr:type-system-stuff, r=aliemjayMatthias Krüger-20/+11
2023-04-19small type system cleanuplcnr-20/+11
2023-04-19Auto merge of #110407 - Nilstrieb:fluent-macro, r=davidtwcobors-1/+1
2023-04-19Rollup merge of #110510 - bryangarza:issue-110467-safe-transmute, r=compiler-...Matthias Krüger-1/+1
2023-04-19Rollup merge of #110498 - kylematsuda:earlybinder-rpitit-tys, r=compiler-errorsMatthias Krüger-5/+4
2023-04-19Remove find_map_relevant_implMichael Goulet-74/+103
2023-04-18Fix ICE for transmutability in candidate assemblyBryan Garza-1/+1
2023-04-18add EarlyBinder to return type of collect_return_position_impl_trait_in_trait...Kyle Matsuda-5/+4
2023-04-18Add `rustc_fluent_macro` to decouple fluent from `rustc_macros`Nilstrieb-1/+1
2023-04-17Spelling - compilerJosh Soref-13/+13
2023-04-17Rollup merge of #110394 - scottmcm:less-idx-new, r=WaffleLapkinMatthias Krüger-6/+7
2023-04-17Rollup merge of #110404 - matthiaskrgr:mapmap, r=NilstriebMatthias Krüger-7/+2
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet-35/+37
2023-04-16fix clippy::toplevel_ref_arg and ::manual_mapMatthias Krüger-7/+2
2023-04-16Rollup merge of #110345 - nnethercote:rm-Super-impls-for-Region, r=compiler-e...fee1-dead-1/+1
2023-04-16Rollup merge of #109665 - fee1-dead-contrib:rm-remap-queries, r=oli-obkfee1-dead-7/+1
2023-04-16Various minor Idx-related tweaksScott McMurray-6/+7
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-1/+1
2023-04-16Rollup merge of #110364 - matthiaskrgr:anti_clone, r=NilstriebYuki Okushi-6/+9
2023-04-16Rollup merge of #110272 - Ezrashaw:fix-unconned-lt-in-implbounds, r=aliemjayYuki Okushi-1/+12
2023-04-15remove redundant clonesMatthias Krüger-6/+9
2023-04-15Update compiler/rustc_trait_selection/src/traits/outlives_bounds.rsAli MJ Al-Nasrawy-2/+3
2023-04-14implement review suggestionsEzra Shaw-2/+3
2023-04-14Rollup merge of #110299 - kylematsuda:earlybinder-impl-subject, r=compiler-er...Matthias Krüger-2/+2
2023-04-14Rollup merge of #110207 - compiler-errors:new-solver-unpin, r=lcnrMatthias Krüger-61/+102
2023-04-14Rollup merge of #110180 - lcnr:canonicalize, r=compiler-errorsMatthias Krüger-14/+11
2023-04-14Rollup merge of #109800 - bryangarza:safe-transmute-improved-errors, r=compil...Matthias Krüger-24/+104
2023-04-14Move auto trait built-in candidate disqualification to a separate methodMichael Goulet-77/+101
2023-04-14Assemble Unpin candidates specially for generators in new solverMichael Goulet-1/+18