about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2023-04-27rename `needs_subst` to `has_param`Boxy-3/+3
2023-04-27rename `needs_infer` to `has_infer`Boxy-15/+16
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-4/+4
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-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-71/+96
2023-04-23Don't create projection ty for const projectionMichael Goulet-8/+23
2023-04-21Create "AppendConstMessage" enumBryan Garza-18/+28
2023-04-21Break up long function in trait selection error reportingBryan Garza-427/+657
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-14/+10
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-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-71/+96
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-17Spelling - compilerJosh Soref-7/+7
2023-04-17Rollup merge of #110404 - matthiaskrgr:mapmap, r=NilstriebMatthias Krüger-7/+2
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet-34/+36
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-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 #109800 - bryangarza:safe-transmute-improved-errors, r=compil...Matthias Krüger-24/+104
2023-04-13Improve safe transmute error reportingBryan Garza-24/+104
2023-04-13make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u...Kyle Matsuda-2/+2
2023-04-13change usage of bound_impl_subject to impl_subjectKyle Matsuda-1/+1
2023-04-13Rollup merge of #110193 - compiler-errors:body-owner-issue, r=WaffleLapkinMatthias Krüger-1/+1
2023-04-13Rollup merge of #110220 - lcnr:regionzz, r=compiler-errorsMatthias Krüger-9/+27
2023-04-13fix: skip implied bounds if unconstrained lifetime existsEzra Shaw-1/+10
2023-04-13Remove some unused type folders.Nicholas Nethercote-21/+0
2023-04-12Auto merge of #110252 - matthiaskrgr:rollup-ovaixra, r=matthiaskrgrbors-5/+28
2023-04-12fix commentlcnr-1/+2
2023-04-12Rollup merge of #110103 - compiler-errors:new-solver-overflows, r=lcnrMatthias Krüger-5/+28
2023-04-12Rollup merge of #110153 - DaniPopes:compiler-typos, r=NilstriebMatthias Krüger-2/+2
2023-04-12`#[must_use]` for fns returning a list of errorslcnr-1/+5
2023-04-12region error cleanuplcnr-8/+21
2023-04-11Split implied and super predicate queriesMichael Goulet-1/+1
2023-04-11Check for body owner falliblyMichael Goulet-1/+1