| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-03-11 | Retry pred_known_to_hold_modulo_regions with fulfillment if ambiguous | Michael Goulet | -3/+5 |
| 2023-03-11 | fix: evaluate with wrong obligation stack | yifei | -2/+2 |
| 2023-03-03 | Auto merge of #108709 - matthiaskrgr:rollup-j2tjbyx, r=matthiaskrgr | bors | -24/+32 |
| 2023-03-03 | Rollup merge of #108681 - nnethercote:needs_process_obligation-comments, r=lqd | Matthias Krüger | -24/+32 |
| 2023-03-03 | Rollup merge of #108694 - est31:backticks_matchmaking_comments, r=Nilstrieb | Matthias Krüger | -4/+4 |
| 2023-03-03 | canonicalization | lcnr | -73/+670 |
| 2023-03-03 | Match unmatched backticks in comments in compiler/ | est31 | -2/+2 |
| 2023-03-03 | Match unmatched backticks in compiler/ that are part of rustdoc | est31 | -2/+2 |
| 2023-03-03 | Improve comments in `needs_process_obligation`. | Nicholas Nethercote | -24/+32 |
| 2023-02-28 | Descriptive error when users try to combine RPITIT/AFIT with specialization | Michael Goulet | -20/+4 |
| 2023-02-27 | Rollup merge of #108319 - compiler-errors:dont-project-to-specializable-rpiti... | Matthias Krüger | -5/+22 |
| 2023-02-26 | Rollup merge of #107941 - compiler-errors:str-has-u8-slice-for-auto, r=lcnr | Matthias Krüger | -2/+7 |
| 2023-02-25 | Special note for str in auto traits | Michael Goulet | -0/+1 |
| 2023-02-25 | Treat `str` as containing `[u8]` for auto trait purposes | Michael Goulet | -2/+6 |
| 2023-02-25 | Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnr | Michael Goulet | -3/+207 |
| 2023-02-24 | Comments, another test | Michael Goulet | -2/+41 |
| 2023-02-24 | Make higher-ranked projections in object types work in new solver | Michael Goulet | -18/+31 |
| 2023-02-24 | Check object's supertrait and associated type bounds in new solver | Michael Goulet | -2/+154 |
| 2023-02-24 | Rename many interner functions. | Nicholas Nethercote | -35/+35 |
| 2023-02-23 | Auto merge of #108369 - compiler-errors:ty-error-more, r=BoxyUwU | bors | -18/+20 |
| 2023-02-23 | Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obk | Matthias Krüger | -4/+4 |
| 2023-02-23 | Don't project specializable RPITIT projection | Michael Goulet | -5/+22 |
| 2023-02-23 | Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error... | bors | -2/+5 |
| 2023-02-22 | Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_misc | Michael Goulet | -13/+10 |
| 2023-02-22 | Use ty_error_with_guaranteed in many more places | Michael Goulet | -11/+16 |
| 2023-02-22 | Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obk | bors | -77/+86 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -77/+86 |
| 2023-02-22 | diagnostics: if AssocFn has self argument, describe as method | Michael Howell | -2/+5 |
| 2023-02-22 | Auto merge of #103042 - davidtwco:translation-distributed-ftl, r=oli-obk | bors | -5/+11 |
| 2023-02-22 | Rollup merge of #108110 - compiler-errors:new-solver-less-infcx, r=lcnr | Guillaume Gomez | -226/+228 |
| 2023-02-22 | errors: generate typed identifiers in each crate | David Wood | -5/+11 |
| 2023-02-22 | Move some InferCtxt methods to EvalCtxt in new solver | Michael Goulet | -226/+228 |
| 2023-02-21 | Rollup merge of #108295 - compiler-errors:wtf-is-this, r=cjgillot | Matthias Krüger | -1/+7 |
| 2023-02-21 | Make hidden type registration opt-in, so that each site can be reviewed on it... | Oli Scherer | -10/+13 |
| 2023-02-21 | Specify what 'this' actually is | Michael Goulet | -1/+7 |
| 2023-02-21 | Associated type bounds in some places in the compiler | Michael Goulet | -4/+4 |
| 2023-02-19 | Auto merge of #108128 - clubby789:builtin-derived-attr, r=jackh726 | bors | -1/+1 |
| 2023-02-19 | Rollup merge of #108203 - compiler-errors:rpitit-fix-defaults-2, r=jackh726 | Guillaume Gomez | -33/+3 |
| 2023-02-19 | Rollup merge of #108189 - compiler-errors:non_lifetime_binders-bound-stuff, r... | Dylan DPC | -4/+5 |
| 2023-02-18 | Don't ICE on bound types in sized conditions | Michael Goulet | -4/+5 |
| 2023-02-18 | Add consider_implied_clause | Michael Goulet | -102/+97 |
| 2023-02-18 | Check that built-in callable types validate their output type is `Sized` (in ... | Michael Goulet | -14/+45 |
| 2023-02-18 | Remove default trait RPITIT candidates | Michael Goulet | -33/+3 |
| 2023-02-18 | Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com... | bors | -9/+7 |
| 2023-02-17 | Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstrieb | bors | -12/+12 |
| 2023-02-17 | Avoid double-interning some `BoundVariableKind`s. | Nicholas Nethercote | -2/+0 |
| 2023-02-17 | Replace more `mk_foo` calls with `infer_foo`. | Nicholas Nethercote | -2/+2 |
| 2023-02-17 | Use `IntoIterator` for `mk_fn_sig`. | Nicholas Nethercote | -2/+2 |
| 2023-02-17 | Remove the `InternIteratorElement` impl for `&'a T`. | Nicholas Nethercote | -1/+1 |
| 2023-02-17 | Replace `mk_foo` calls with `infer_foo` where possible. | Nicholas Nethercote | -3/+3 |
