about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-06-23Rollup merge of #112965 - compiler-errors:circular-wf, r=aliemjayMichael Goulet-2/+10
2023-06-23Rollup merge of #112870 - compiler-errors:clause-2, r=oli-obkMatthias Krüger-15/+15
2023-06-23Resolve vars when reporting WF errorMichael Goulet-0/+1
2023-06-23Don't emit same goal as input during wf obligationsMichael Goulet-2/+9
2023-06-22Avoid guessing unknown trait impl in suggestionsAlexander Zhang-6/+10
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-15/+15
2023-06-22Auto merge of #112686 - estebank:sealed-traits, r=petrochenkovbors-0/+26
2023-06-22Account for sealed traits in trait bound errorsEsteban Küber-0/+26
2023-06-21Don't substitute a GAT that has mismatched generics in OpaqueTypeCollectorMichael Goulet-45/+46
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-136/+145
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-04 19:23:31 +0000