about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-09-05Rollup merge of #115519 - compiler-errors:next-solver-assoc-ice, r=lcnrMatthias Krüger-1/+15
2023-09-05Auto merge of #115467 - compiler-errors:assoc-ty-object-safety, r=oli-obkbors-0/+9
2023-09-03Don't ICE on associated type projection without feature gateMichael Goulet-1/+15
2023-09-02Do not require associated types with Self: Sized to uphold bounds when confir...Michael Goulet-6/+6
2023-09-02RPITITs are considered object-safe, they're always on Self:Sized methodsMichael Goulet-0/+9
2023-09-02Signed-off-by: cui fliter <imcusg@gmail.com>cui fliter-1/+1
2023-09-01Auto merge of #113201 - oli-obk:recursive_type_alias, r=estebank,compiler-errorsbors-1/+20
2023-08-31Rollup merge of #115373 - lqd:come-on-bors, r=compiler-errorsMatthias Krüger-5/+1
2023-08-30Don't record spans for predicates in coherenceMichael Goulet-19/+11
2023-08-30Permit recursive weak type aliasesOli Scherer-1/+20
2023-08-30clean up `local_overflow_limit` computationRémy Rakic-5/+1
2023-08-29handle edge-case of a recursion limit of 0Rémy Rakic-1/+5
2023-08-28Auto merge of #115326 - matthiaskrgr:rollup-qsoa8ar, r=matthiaskrgrbors-20/+9
2023-08-28Rollup merge of #115322 - estebank:list-tweak, r=compiler-errorsMatthias Krüger-9/+3
2023-08-28Rollup merge of #115311 - dtolnay:usearcself, r=compiler-errorsMatthias Krüger-6/+0
2023-08-28Rollup merge of #115294 - compiler-errors:cycle-err, r=oli-obkMatthias Krüger-5/+6
2023-08-28Tweak output of `to_pretty_impl_header` involving only anon lifetimesEsteban Küber-9/+3
2023-08-28Revert "Suggest using `Arc` on `!Send`/`!Sync` types"David Tolnay-6/+0
2023-08-28Better error message for object type with GATMichael Goulet-1/+1
2023-08-27More precisely detect cycle errors from type_of on opaqueMichael Goulet-5/+6
2023-08-27Rollup merge of #114974 - nbdd0121:vtable, r=b-naberGuillaume Gomez-1/+1
2023-08-18instantiate response: no unnecessary new universelcnr-1/+1
2023-08-18Add an (perma-)unstable option to disable vtable vptrGary Guo-1/+1
2023-08-18Auto merge of #114611 - nnethercote:type-system-chess, r=compiler-errorsbors-9/+4
2023-08-15Rollup merge of #114819 - estebank:issue-78124, r=compiler-errorsMatthias Krüger-1/+1
2023-08-15Rollup merge of #114831 - compiler-errors:next-solver-projection-subst-compat...Guillaume Gomez-7/+15
2023-08-15Rollup merge of #114829 - compiler-errors:next-solver-only-unsize-to-dyn-once...Guillaume Gomez-54/+92
2023-08-15Rollup merge of #114828 - compiler-errors:next-solver-probe-upcasting, r=lcnrGuillaume Gomez-10/+12
2023-08-15Rollup merge of #114827 - compiler-errors:next-solver-dyn-safe-candidates, r=...Guillaume Gomez-0/+5
2023-08-15more nitsMichael Goulet-17/+49
2023-08-15Reuse the selection context, compute failing obligations first in ambig modeMichael Goulet-88/+78
2023-08-15nitsMichael Goulet-3/+3
2023-08-15Implement lint against coinductive impl overlapMichael Goulet-6/+75
2023-08-15more span infoMichael Goulet-7/+9
2023-08-15Check projection arguments before substitutionMichael Goulet-7/+15
2023-08-15Separate consider_unsize_to_dyn_candidate from other unsize candidatesMichael Goulet-54/+92
2023-08-15Probe when assembling upcast candidates so they don't step on eachother's toesMichael Goulet-10/+12
2023-08-15Only consider object candidates for object-safe dyn typesMichael Goulet-0/+5
2023-08-14Point at return type when it influences non-first `match` armEsteban Küber-1/+1
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-5/+4
2023-08-13Auto merge of #114457 - lcnr:trait_ref_is_knowable-normalize, r=compiler-errorsbors-119/+167
2023-08-12lower `evaluate_goal` stability check to `warn`lcnr-36/+56
2023-08-12normalize in `trait_ref_is_knowable` in new solverlcnr-83/+111
2023-08-11remove builtin impl for float and int inferlcnr-9/+4
2023-08-10Rollup merge of #114712 - compiler-errors:comment-nits, r=lcnrMichael Goulet-1/+1
2023-08-10Comment nitsMichael Goulet-1/+1
2023-08-10make the provisional cache slightly less brokenlcnr-40/+57
2023-08-09Suggest using `Arc` on `!Send`/`!Sync` typesEsteban Kuber-0/+6
2023-08-09Rollup merge of #114548 - fee1-dead-contrib:migrate-to-trans, r=davidtwcoMatthias Krüger-34/+52
2023-08-08Auto merge of #114545 - fee1-dead-contrib:lower-impl-effect, r=oli-obkbors-21/+0