about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-10-19Use predicate_must_hold_modulo_regionsMichael Goulet-14/+8
2022-10-19Suggest calling ctor when trait is unimplementedMichael Goulet-1/+18
2022-10-18`const_evaluatable_unchecked` to const evallcnr-21/+1
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-18/+23
2022-10-18Rollup merge of #103142 - fmease:fix-103052, r=oli-obkYuki Okushi-0/+4
2022-10-17Auto merge of #103151 - matthiaskrgr:rollup-t3mmnsg, r=matthiaskrgrbors-24/+27
2022-10-17Rollup merge of #102945 - compiler-errors:placeholder-region-outlives, r=lcnrMatthias Krüger-1/+1
2022-10-17Rollup merge of #102466 - lcnr:const-equate-uwu, r=BoxyUwUMatthias Krüger-23/+26
2022-10-17Make diagnostic for unsatisfied Termination bounds more preciseLeón Orell Valerian Liehr-0/+4
2022-10-17mir constants: type traversing bye byelcnr-8/+0
2022-10-16Auto merge of #102334 - compiler-errors:rpitit-substs-issue, r=cjgillotbors-1/+4
2022-10-16Auto merge of #102931 - camsteffen:inline-overlapping-impls, r=cjgillotbors-41/+29
2022-10-15Fix subst issues with RPITITMichael Goulet-1/+4
2022-10-15Rollup merge of #103003 - TaKO8Ki:fix-102989, r=compiler-errorsDylan DPC-13/+9
2022-10-14Rollup merge of #103018 - Rageking8:more-dupe-word-typos, r=TaKO8KiDylan DPC-3/+3
2022-10-14more dupe word typosRageking8-3/+3
2022-10-14check if the self type is `ty::Float` before getting second substsTakayuki Maeda-13/+9
2022-10-13Make overlapping_impls non-genericCameron Steffen-41/+29
2022-10-13Sort elaborated existential predicates in object_ty_for_traitMichael Goulet-11/+18
2022-10-12Auto merge of #101679 - compiler-errors:rpitit-default-body, r=nikomatsakisbors-3/+45
2022-10-12Do not register placeholder region outlives when considering_regions is falseMichael Goulet-1/+1
2022-10-11Auto merge of #102896 - matthiaskrgr:rollup-jg5xawz, r=matthiaskrgrbors-0/+68
2022-10-10Rollup merge of #101360 - compiler-errors:multiple-closure-bounds, r=petroche...Matthias Krüger-0/+68
2022-10-10Fix compiler docsGuillaume Gomez-7/+8
2022-10-10Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnrDylan DPC-12/+6
2022-10-10Point out incompatible closure boundsMichael Goulet-0/+68
2022-10-10Rollup merge of #102845 - cjgillot:gat-object, r=fee1-deadYuki Okushi-29/+15
2022-10-10Rollup merge of #102829 - compiler-errors:rename-impl-item-kind, r=TaKO8KiYuki Okushi-2/+2
2022-10-09Elaborate trait ref to compute object safety.Camille GILLOT-29/+15
2022-10-09ImplItemKind::TyAlias => ImplItemKind::TypeMichael Goulet-2/+2
2022-10-08Auto merge of #102809 - matthiaskrgr:rollup-qq62vuv, r=matthiaskrgrbors-19/+18
2022-10-08Rollup merge of #102785 - fee1-dead-contrib:rm_autoimpl_defid, r=compiler-errorsMatthias Krüger-19/+18
2022-10-08Auto merge of #100720 - camsteffen:representable, r=cjgillotbors-76/+0
2022-10-07Auto merge of #102787 - Dylan-DPC:rollup-fvbb4t9, r=Dylan-DPCbors-13/+15
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-12/+6
2022-10-07Remove `DefId` from some `SelectionCandidate` variantsDeadbeef-19/+18
2022-10-07Rewrite representabilityCameron Steffen-76/+0
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-378/+308
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-78/+72
2022-10-07Introduce TypeErrCtxtCameron Steffen-322/+316
2022-10-07Check WhereClauseReferencesSelf after all other object safety checksMichael Goulet-13/+15
2022-10-06Auto merge of #99324 - reez12g:issue-99144, r=jyn514bors-1/+0
2022-10-05Validate opaques in default trait bodies, don't normalize unless a body is pr...Michael Goulet-1/+2
2022-10-05Fix test for default body with implMichael Goulet-2/+3
2022-10-04Rollup merge of #102670 - lyming2007:issue-101866-fix, r=compiler-errorsMichael Howell-1/+1
2022-10-05Support default-body trait functions with RPITITMichael Goulet-3/+43
2022-10-04follow-up fix about 101866 to print the self type.Yiming Lei-1/+1
2022-10-04Rollup merge of #102651 - oli-obk:non_region_things, r=lcnrMatthias Krüger-20/+20
2022-10-04Rollup merge of #102647 - oli-obk:tilde_const_bounds, r=fee1-deadMatthias Krüger-0/+26
2022-10-04Rollup merge of #102488 - compiler-errors:gat-compatibility, r=oli-obkMatthias Krüger-2/+40