about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-06-20yeet upcast_trait_def_id from ImplSourceObjectDataMichael Goulet-6/+2
2023-06-20yeet ImplSource::TraitAlias tooMichael Goulet-11/+7
2023-06-20Remove unnecessary call to select_from_obligationMichael Goulet-49/+34
2023-06-20Auto merge of #112835 - lcnr:proof-tree-nits, r=BoxyUwUbors-287/+298
2023-06-20inspect nitslcnr-147/+158
2023-06-20cleanup importslcnr-13/+8
2023-06-20split probe into 2 functions for better readabilitylcnr-127/+132
2023-06-20Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnrbors-1/+13
2023-06-20Merge attrs, better validationMichael Goulet-0/+8
2023-06-20Add rustc_do_not_implement_via_objectMichael Goulet-1/+5
2023-06-19Rollup merge of #112781 - compiler-errors:new-solver-tait-overlaps-hidden, r=...Michael Goulet-8/+29
2023-06-19Rollup merge of #112783 - compiler-errors:nlb-fnptr-reject-ice, r=fee1-deadMatthias Krüger-5/+3
2023-06-19Rollup merge of #112777 - compiler-errors:normalize-weak-more, r=oli-obkMatthias Krüger-2/+6
2023-06-19Fully fledged Clause typeMichael Goulet-6/+6
2023-06-19s/Clause/ClauseKindMichael Goulet-136/+145
2023-06-19Don't consider TAIT normalizable to hidden ty if it would result in impossibl...Michael Goulet-8/+29
2023-06-19create module so that RUSTC_LOG can filter to just proof treesBoxy-1/+9
2023-06-19allow caller to force proof tree generationBoxy-72/+89
2023-06-19show normalizes-to hack and response instantiation goalsBoxy-16/+43
2023-06-19introduce a separate set of types for finalized proof treesBoxy-160/+296
2023-06-19dont use a traitBoxy-139/+116
2023-06-19say what kind of cache hitBoxy-8/+14
2023-06-19add -Z flagBoxy-3/+11
2023-06-19initial info dumpBoxy-406/+763
2023-06-19Don't ICE on bound var in reject_fn_ptr_implsMichael Goulet-5/+3
2023-06-18Continue folding in query normalizer on weak aliasesMichael Goulet-2/+6
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-19/+20
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 22:49:17 +0000