| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -1/+1 |
| 2023-06-23 | avoid `&format` in error message code | Takayuki Maeda | -1/+1 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -17/+21 |
| 2023-06-20 | address most easy comments | Ziru Niu | -12/+15 |
| 2023-06-20 | merge `BorrowKind::Unique` into `BorrowKind::Mut` | Ziru Niu | -54/+55 |
| 2023-06-19 | Rollup merge of #112781 - compiler-errors:new-solver-tait-overlaps-hidden, r=... | Michael Goulet | -1/+2 |
| 2023-06-19 | Rollup merge of #112232 - fee1-dead-contrib:match-eq-const-msg, r=b-naber | Michael Goulet | -16/+25 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -17/+21 |
| 2023-06-19 | Don't consider TAIT normalizable to hidden ty if it would result in impossibl... | Michael Goulet | -1/+2 |
| 2023-06-18 | Better error for non const `PartialEq` call generated by `match` | Deadbeef | -16/+25 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -5/+8 |
| 2023-06-15 | Rollup merge of #112654 - aliemjay:closure-output-normalize, r=compiler-errors | Guillaume Gomez | -15/+1 |
| 2023-06-15 | normalize closure output before relation | Ali MJ Al-Nasrawy | -15/+1 |
| 2023-06-09 | split opaque type handling in new solver | lcnr | -7/+21 |
| 2023-06-09 | extract opaque type wf check into separate fn | lcnr | -65/+74 |
| 2023-06-09 | recompute opaque type origin | lcnr | -18/+11 |
| 2023-06-08 | Auto merge of #108293 - Jarcho:mut_analyses, r=eholk | bors | -12/+15 |
| 2023-06-07 | Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnr | Dylan DPC | -2/+2 |
| 2023-06-06 | Auto merge of #112361 - matthiaskrgr:rollup-39zxrw1, r=matthiaskrgr | bors | -9/+3 |
| 2023-06-06 | Rollup merge of #112358 - Nilstrieb:fancy-more-borrowck-cleanups, r=compiler-... | Matthias Krüger | -6/+2 |
| 2023-06-06 | Remove default visitor impl in region constraint generation | Nilstrieb | -6/+2 |
| 2023-06-06 | Avoid duplicate type sanitization of local decls | Nilstrieb | -3/+1 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -2/+2 |
| 2023-06-06 | Rollup merge of #112019 - jieyouxu:issue-111554, r=compiler-errors | Matthias Krüger | -6/+22 |
| 2023-06-02 | Simplify pre-order algorithm. | Camille GILLOT | -51/+43 |
| 2023-06-01 | Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnr | Dylan DPC | -9/+13 |
| 2023-05-31 | Auto merge of #112070 - lcnr:disjoint-closure-capture-ub, r=oli-obk | bors | -3/+2 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -31/+34 |
| 2023-05-29 | unique borrows are mutating uses | lcnr | -3/+2 |
| 2023-05-29 | Don't suggest changing {ImmRef,MutRef} implicit self to be mutable | 许杰友 Jieyou Xu (Joe) | -6/+22 |
| 2023-05-27 | Rollup merge of #111983 - compiler-errors:type-op-locally, r=lcnr | Guillaume Gomez | -1/+1 |
| 2023-05-27 | Rollup merge of #111952 - cjgillot:drop-replace, r=WaffleLapkin | Guillaume Gomez | -39/+21 |
| 2023-05-27 | Uplift complex type ops back into typeck so we can call them locally | Michael Goulet | -1/+1 |
| 2023-05-26 | Wait until type_of to remap HIR opaques back to their defn params | Michael Goulet | -7/+1 |
| 2023-05-26 | Use DefiningAnchor::Bind in infer_opaque_definition_from_instantiation | Michael Goulet | -2/+12 |
| 2023-05-26 | Auto merge of #111918 - compiler-errors:custom-type-ops-err, r=lcnr | bors | -93/+73 |
| 2023-05-25 | Ensure Fluent messages are in alphabetical order | clubby789 | -173/+173 |
| 2023-05-25 | Remove DesugaringKind::Replace. | Camille GILLOT | -39/+21 |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -7/+8 |
| 2023-05-25 | Use ErrorGuaranteed more in MIR type ops | Michael Goulet | -86/+65 |
| 2023-05-25 | Add InferCtxt::register_hidden_type_in_new_solver | Michael Goulet | -1/+0 |
| 2023-05-25 | Pre-populate MIR with opaques, prefer subst-relate candidate | Michael Goulet | -0/+62 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -3/+6 |
| 2023-05-25 | Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearth | bors | -110/+188 |
| 2023-05-24 | Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch... | Manish Goregaokar | -14/+9 |
| 2023-05-24 | Rollup merge of #111840 - voidc:borrowck-consumers, r=oli-obk | Manish Goregaokar | -63/+140 |
| 2023-05-24 | Rollup merge of #111741 - compiler-errors:custom-type-op, r=lcnr | Manish Goregaokar | -33/+39 |
| 2023-05-24 | Rollup merge of #111863 - compiler-errors:check-more-mir, r=b-naber | Matthias Krüger | -27/+9 |
| 2023-05-24 | Rollup merge of #111759 - cjgillot:interval-kill, r=b-naber | Matthias Krüger | -50/+77 |
| 2023-05-24 | Don't skip mir typeck if body has errors | Michael Goulet | -27/+9 |
