about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-06-17Move WF goal to clauseMichael Goulet-20/+26
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-15/+27
2023-06-17Simplify even more candidatesMichael Goulet-27/+36
2023-06-17Simplify an ObjectData fieldMichael Goulet-4/+8
2023-06-17Simplify some impl source candidatesMichael Goulet-19/+15
2023-06-17Remove some ImplSource candidatesMichael Goulet-19/+16
2023-06-17Auto merge of #108860 - oli-obk:tait_alias, r=compiler-errorsbors-16/+95
2023-06-16Rollup merge of #112665 - compiler-errors:assumption-takes-clause, r=lcnrMichael Goulet-26/+32
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-16/+95
2023-06-16Rollup merge of #112443 - compiler-errors:next-solver-opportunistically-resol...Dylan DPC-3/+23
2023-06-16fix: inline `predicate_may_hold_fatal`bohan-14/+6
2023-06-15Make assumption functions in new solver take clauseMichael Goulet-26/+32
2023-06-15Auto merge of #104455 - the8472:dont-drain-on-drop, r=Amanieubors-6/+5
2023-06-14Rollup merge of #112605 - compiler-errors:negative-docs, r=spastorinoMatthias Krüger-83/+85
2023-06-14Auto merge of #112400 - WaffleLapkin:vtable_stats, r=compiler-errorsbors-3/+3
2023-06-14Auto merge of #110662 - bryangarza:safe-transmute-reference-types, r=compiler...bors-26/+112
2023-06-14remove hash_drain_filter feature usesThe 8472-1/+0
2023-06-14s/drain_filter/extract_if/ for Vec, Btree{Map,Set} and LinkedListThe 8472-2/+2
2023-06-14remove drain-on-drop behavior from vec::DrainFilter and add #[must_use]The 8472-3/+3
2023-06-14Improve docs/clean up negative overlap functionsMichael Goulet-83/+85
2023-06-13opportunistically resolve regionsMichael Goulet-3/+23
2023-06-13Rollup merge of #111885 - compiler-errors:rust-call-abi-sized, r=eholkMatthias Krüger-1/+7
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-35/+49
2023-06-12Collect VTable stats & add `-Zprint-vtable-sizes`Maybe Waffle-3/+3
2023-06-12update commentlcnr-1/+1
2023-06-11Auto merge of #112466 - lcnr:opaque-type-cleanup, r=compiler-errorsbors-35/+46
2023-06-09split opaque type handling in new solverlcnr-35/+46
2023-06-08deduplicate identical region constraintsMichael Goulet-1/+5
2023-06-07Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnrDylan DPC-20/+40
2023-06-07Rollup merge of #112076 - compiler-errors:bidirectional-alias-eq, r=lcnrDylan DPC-136/+196
2023-06-06Note why rust-call abi requires sized oblMichael Goulet-1/+7
2023-06-06Fall back to bidirectional normalizes-to if no subst-eq in alias-eq goalMichael Goulet-23/+72
2023-06-06Move alias-relate to its own moduleMichael Goulet-136/+147
2023-06-06Make TraitEngine::new use the right solver, add compare modeMichael Goulet-16/+32
2023-06-06Add -Ztrait-solver=next-coherenceMichael Goulet-0/+3
2023-06-06New trait solver is a property of inference contextMichael Goulet-6/+7
2023-06-06Rollup merge of #112325 - notriddle:notriddle/issue-111932, r=compiler-errorsMatthias Krüger-2/+2
2023-06-05diagnostics: do not suggest type name tweaks on type-inferred closure argsMichael Howell-2/+2
2023-06-05Rollup merge of #112318 - oli-obk:assoc_ty_sized_bound_for_object_safety, r=c...Matthias Krüger-51/+43
2023-06-05Rollup merge of #112303 - Nilstrieb:as-deref, r=compiler-errorsMatthias Krüger-2/+3
2023-06-05Resolve vars in result from scrape_region_constraintsMichael Goulet-3/+12
2023-06-05Merge method, type and const object safety checksOli Scherer-51/+43
2023-06-05Avoid going through queries if a value of type `AssocItem` is already availableOli Scherer-1/+1
2023-06-05Normalize in infcx instead of globally for `Option::as_deref` suggestionNilstrieb-1/+2
2023-06-05Properly compare types for `Option::as_deref` suggestionNilstrieb-1/+1
2023-06-03Rollup merge of #111659 - y21:suggest-as-deref, r=cjgillotMatthias Krüger-9/+95
2023-06-03do not use ty_adt_id from internal traity21-3/+2
2023-06-02Rollup merge of #112223 - compiler-errors:new-solver-auto-proj, r=BoxyUwUMichael Goulet-2/+6
2023-06-02Elaborate comment, make sure we do normalizes-to hack eventually for IATs, do...Michael Goulet-26/+29
2023-06-02No const equate in new solverMichael Goulet-13/+7
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 06:35:30 +0000