| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -1/+1 |
| 2023-06-06 | remove `has_error_field` helper method | lcnr | -3/+5 |
| 2023-06-05 | Rollup merge of #112322 - compiler-errors:no-IMPLIED_BOUNDS_ENTAILMENT-if-err... | Matthias Krüger | -1/+1 |
| 2023-06-05 | Don't mention IMPLIED_BOUNDS_ENTAILMENT if signatures reference error | Michael Goulet | -1/+1 |
| 2023-06-05 | Remove redundant InferCtxtExt::fresh_item_substs | Michael Goulet | -36/+1 |
| 2023-06-05 | Emit an error when RTN is used with ty/ct params | Michael Goulet | -3/+41 |
| 2023-06-05 | Merge method, type and const object safety checks | Oli Scherer | -0/+4 |
| 2023-06-05 | Avoid going through queries if a value of type `AssocItem` is already available | Oli Scherer | -4/+4 |
| 2023-06-04 | Use 128 bits for TypeId hash | Thom Chiovoloni | -1/+1 |
| 2023-06-02 | Rollup merge of #112183 - compiler-errors:new-solver-anon-ct, r=BoxyUwU | Michael Goulet | -3/+4 |
| 2023-06-02 | No more TyCtxt::lazy_normalization | Michael Goulet | -3/+4 |
| 2023-06-02 | Separate AnonConst from ConstBlock in HIR. | Camille GILLOT | -22/+16 |
| 2023-06-02 | Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errors | Matthias Krüger | -4/+4 |
| 2023-06-02 | Auto merge of #112198 - compiler-errors:rollup-o2xe4of, r=compiler-errors | bors | -77/+14 |
| 2023-06-01 | Implement custom diagnostic for ConstParamTy | Michael Goulet | -1/+1 |
| 2023-06-01 | Require that const param tys implement ConstParamTy | Boxy | -77/+14 |
| 2023-06-01 | Use translatable diagnostics in `rustc_const_eval` | Deadbeef | -1/+1 |
| 2023-06-01 | Rename `impl_defaultness` to `defaultness` | Deadbeef | -4/+4 |
| 2023-06-01 | Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnr | Dylan DPC | -33/+78 |
| 2023-05-31 | Check that RPITs are compatible with the opaques inferred during HIR typeck too | Michael Goulet | -29/+36 |
| 2023-05-30 | Rollup merge of #112060 - lcnr:early-binder, r=jackh726 | Nilstrieb | -13/+13 |
| 2023-05-30 | Auto merge of #112075 - WaffleLapkin:unmkII, r=lcnr | bors | -45/+69 |
| 2023-05-29 | Rollup merge of #112057 - MU001999:fix/self-sugg, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -45/+69 |
| 2023-05-29 | EarlyBinder::new -> EarlyBinder::bind | lcnr | -13/+13 |
| 2023-05-29 | Determine `self_ty` with expected `ty` | mu001999 | -1/+1 |
| 2023-05-29 | Use `Cow` in `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -7/+9 |
| 2023-05-28 | Make EarlyBinder's inner value private; and fix all of the resulting errors | Kyle Matsuda | -21/+27 |
| 2023-05-28 | Replace EarlyBinder(x) with EarlyBinder::new(x) | Kyle Matsuda | -13/+13 |
| 2023-05-26 | print const and type errors in braces not square brackets | Boxy | -1/+1 |
| 2023-05-26 | Wait until type_of to remap HIR opaques back to their defn params | Michael Goulet | -28/+66 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -1/+2 |
| 2023-05-25 | Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearth | bors | -13/+12 |
| 2023-05-24 | Split out opaque from type_of | Michael Goulet | -305/+303 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -13/+12 |
| 2023-05-24 | Rollup merge of #111861 - compiler-errors:rtn-in-super, r=jackh726 | Matthias Krüger | -0/+2 |
| 2023-05-23 | Rollup merge of #111853 - compiler-errors:opaque-check, r=oli-obk | Dylan DPC | -4/+5 |
| 2023-05-23 | Don't ICE on RPITIT when promoting trait preds to associated type bounds | Michael Goulet | -0/+2 |
| 2023-05-22 | Check opaques for mismatch during writeback | Michael Goulet | -4/+5 |
| 2023-05-22 | Structurally normalize in the new solver | Michael Goulet | -22/+54 |
| 2023-05-18 | Rollup merge of #111686 - cjgillot:no-foreign-item, r=compiler-errors | Dylan DPC | -5/+0 |
| 2023-05-18 | Rollup merge of #111633 - nnethercote:avoid-ref-format, r=WaffleLapkin | Dylan DPC | -8/+8 |
| 2023-05-17 | Retire is_foreign_item query. | Camille GILLOT | -5/+0 |
| 2023-05-17 | Rollup merge of #111588 - MU001999:diag/improve-e0782, r=fee1-dead | Dylan DPC | -4/+3 |
| 2023-05-17 | Emits E0599 when meeting MyTrait::missing_method | mu001999 | -4/+3 |
| 2023-05-17 | Rollup merge of #111648 - Nilstrieb:language-items, r=WaffleLapkin | Dylan DPC | -3/+1 |
| 2023-05-16 | Rollup merge of #111533 - clubby789:drop-tracking-error, r=oli-obk | Matthias Krüger | -1/+1 |
| 2023-05-16 | Remove `LangItems::require` | Nilstrieb | -3/+1 |
| 2023-05-16 | Avoid `&format("...")` calls in error message code. | Nicholas Nethercote | -8/+8 |
| 2023-05-15 | Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillot | Matthias Krüger | -11/+12 |
