about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2023-11-19Rollup merge of #117994 - compiler-errors:throw-away-regions-in-coherence, r=...Michael Goulet-9/+8
2023-11-19Ignore but do not assume region obligations from unifying headers in negative...Michael Goulet-9/+8
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-2/+11
2023-11-18Auto merge of #117742 - weiznich:turn_overlapping_diagnostic_options_into_war...bors-13/+97
2023-11-17Auto merge of #117944 - lcnr:region-refactor-uwu, r=BoxyUwUbors-9/+11
2023-11-17Auto merge of #112422 - aliemjay:implied-bounds-placeholders, r=lcnrbors-2/+6
2023-11-17rename bound region instantiationlcnr-9/+11
2023-11-17Add some additional warnings for duplicated diagnostic itemsGeorg Semmler-13/+97
2023-11-16ignore implied bounds with placeholdersAli MJ Al-Nasrawy-2/+6
2023-11-15Re-format code with new rustfmtMark Rousskov-33/+53
2023-11-15Auto merge of #117878 - gavinleroy:proper-depth-check, r=lcnrbors-1/+7
2023-11-14finish `RegionKind` renamelcnr-1/+1
2023-11-14Add guard checking for associated types before computing intercrate ambiguity...Gavin Gray-1/+7
2023-11-13Rollup merge of #117870 - lcnr:rename-args_ref, r=compiler-errorsMatthias Krüger-2/+2
2023-11-13Auto merge of #117881 - TaKO8Ki:rollup-n7jtmgj, r=TaKO8Kibors-7/+2
2023-11-13update type flagslcnr-4/+4
2023-11-13continue renaminglcnr-13/+13
2023-11-13rename `ReLateBound` to `ReBound`lcnr-13/+13
2023-11-13args~~_ref~~_may_unifylcnr-2/+2
2023-11-12Small improvements in object lifetime default codeNilstrieb-7/+2
2023-11-09Rollup merge of #117645 - compiler-errors:auto-trait-subst, r=petrochenkovTakayuki Maeda-6/+15
2023-11-08Rollup merge of #113925 - clubby789:const-ctor-repeat, r=estebankMatthias Krüger-9/+20
2023-11-06Don't instantiate the binder twice when assembling object candidateMichael Goulet-17/+7
2023-11-06Only check predicates for late-bound non-lifetime vars in object candidate as...Michael Goulet-1/+4
2023-11-06Extend builtin/auto trait args with error when they have >1 argumentMichael Goulet-6/+15
2023-11-06Auto merge of #117585 - dnbln:feat/move-kw-span, r=cjgillotbors-1/+1
2023-11-04Rollup merge of #117583 - compiler-errors:placeholderconst-lifetime, r=cjgillotMatthias Krüger-5/+5
2023-11-04Fix remaining uses of `CaptureBy::Value`Dinu Blanovschi-1/+1
2023-11-04No lifetime on PlaceholderConstMichael Goulet-5/+5
2023-11-03Auto merge of #117507 - nnethercote:rustc_span, r=Nilstriebbors-4/+3
2023-11-03Auto merge of #116439 - compiler-errors:on-unimplemented, r=davidtwcobors-0/+14
2023-11-02Auto merge of #117134 - lcnr:dropck_outlives-coroutine, r=compiler-errorsbors-13/+22
2023-11-02Pretty print Fn traits in rustc_on_unimplementedMichael Goulet-0/+14
2023-11-02only erase param env regions where neededlcnr-1/+1
2023-11-02dropck_outlives check generator witness needs_droplcnr-13/+22
2023-11-02Rollup merge of #117394 - lcnr:proof-tree-cache4, r=compiler-errorsMatthias Krüger-2/+2
2023-11-02use global cache when computing proof treeslcnr-2/+2
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-4/+3
2023-10-31Auto merge of #117419 - compiler-errors:gen, r=oli-obkbors-22/+23
2023-10-30Some more coroutine renamingsMichael Goulet-22/+23
2023-10-30Auto merge of #116405 - estebank:issue-103155, r=davidtwcobors-2/+2
2023-10-30Detect object safety errors when assoc type is missingEsteban Küber-2/+2
2023-10-30Don't super-fold types when we hit the recursion limitMichael Goulet-7/+4
2023-10-30Rollup merge of #117205 - weiznich:multiple_notes_for_on_unimplemented, r=com...León Orell Valerian Liehr-22/+24
2023-10-29Auto merge of #116447 - oli-obk:gen_fn, r=compiler-errorsbors-4/+139
2023-10-28Rollup merge of #116945 - estebank:sealed-trait-impls, r=petrochenkovJubilee-2/+28
2023-10-28Rollup merge of #116739 - Milo123459:milo/short-paths, r=estebankJubilee-5/+11
2023-10-27Update type_err_ctxt_ext.rsMilo-2/+2
2023-10-27When encountering sealed traits, point types that implement itEsteban Küber-2/+28
2023-10-27Make `gen` blocks implement the `Iterator` traitOli Scherer-3/+120