about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-03-05Rollup merge of #108746 - compiler-errors:rpitit-dont-project-default-w-no-va...Matthias Krüger-1/+2
2023-03-05Rollup merge of #108744 - compiler-errors:non_lifetime_binders-bad-copy-clone...Matthias Krüger-5/+6
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-3/+2
2023-03-05resolve to universal regions when possibleAli MJ Al-Nasrawy-2/+2
2023-03-05drop_tracking_mir: support new solver.Camille GILLOT-1/+1
2023-03-04Retry pred_known_to_hold_modulo_regions with fulfillment if ambiguousMichael Goulet-3/+5
2023-03-04sub is not supMichael Goulet-1/+1
2023-03-04Don't project to RPITIT that has no default valueMichael Goulet-1/+2
2023-03-04Don't ICE when encountering bound var in builtin copy/clone boundsMichael Goulet-5/+6
2023-03-03Auto merge of #108709 - matthiaskrgr:rollup-j2tjbyx, r=matthiaskrgrbors-24/+32
2023-03-03Rollup merge of #108681 - nnethercote:needs_process_obligation-comments, r=lqdMatthias Krüger-24/+32
2023-03-03Rollup merge of #108694 - est31:backticks_matchmaking_comments, r=NilstriebMatthias Krüger-4/+4
2023-03-03canonicalizationlcnr-73/+670
2023-03-03Match unmatched backticks in comments in compiler/est31-2/+2
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-2/+2
2023-03-03Improve comments in `needs_process_obligation`.Nicholas Nethercote-24/+32
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-3/+2
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-20/+4
2023-02-27Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpiti...Matthias Krüger-5/+22
2023-02-26Rollup merge of #107941 - compiler-errors:str-has-u8-slice-for-auto, r=lcnrMatthias Krüger-2/+7
2023-02-25Special note for str in auto traitsMichael Goulet-0/+1
2023-02-25Treat `str` as containing `[u8]` for auto trait purposesMichael Goulet-2/+6
2023-02-25Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnrMichael Goulet-3/+207
2023-02-24Comments, another testMichael Goulet-2/+41
2023-02-24Make higher-ranked projections in object types work in new solverMichael Goulet-18/+31
2023-02-24Check object's supertrait and associated type bounds in new solverMichael Goulet-2/+154
2023-02-24Rename many interner functions.Nicholas Nethercote-35/+35
2023-02-23Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwUbors-18/+20
2023-02-23Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obkMatthias Krüger-4/+4
2023-02-23Don't project specializable RPITIT projectionMichael Goulet-5/+22
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-2/+5
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-13/+10
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-11/+16
2023-02-22Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obkbors-77/+86
2023-02-22Remove type-traversal trait aliasesAlan Egerton-77/+86
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-2/+5
2023-02-22Auto merge of #103042 - davidtwco:translation-distributed-ftl, r=oli-obkbors-5/+11
2023-02-22Rollup merge of #108110 - compiler-errors:new-solver-less-infcx, r=lcnrGuillaume Gomez-226/+228
2023-02-22errors: generate typed identifiers in each crateDavid Wood-5/+11
2023-02-22Move some InferCtxt methods to EvalCtxt in new solverMichael Goulet-226/+228
2023-02-21Rollup merge of #108295 - compiler-errors:wtf-is-this, r=cjgillotMatthias Krüger-1/+7
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-10/+13
2023-02-21Specify what 'this' actually isMichael Goulet-1/+7
2023-02-21Associated type bounds in some places in the compilerMichael Goulet-4/+4
2023-02-19Auto merge of #108128 - clubby789:builtin-derived-attr, r=jackh726bors-1/+1
2023-02-19Rollup merge of #108203 - compiler-errors:rpitit-fix-defaults-2, r=jackh726Guillaume Gomez-33/+3
2023-02-19Rollup merge of #108189 - compiler-errors:non_lifetime_binders-bound-stuff, r...Dylan DPC-4/+5
2023-02-18Don't ICE on bound types in sized conditionsMichael Goulet-4/+5
2023-02-18Add consider_implied_clauseMichael Goulet-102/+97
2023-02-18Check that built-in callable types validate their output type is `Sized` (in ...Michael Goulet-14/+45