| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-12-15 | Rollup merge of #118727 - compiler-errors:lint-decorate, r=WaffleLapkin | Jubilee | -1/+0 |
| 2023-12-15 | Don't pass lint back out of lint decorator | Michael Goulet | -1/+0 |
| 2023-12-15 | Annotate some bugs | Michael Goulet | -3/+3 |
| 2023-12-14 | update use of feature flags | lcnr | -2/+2 |
| 2023-12-05 | Rollup merge of #118346 - compiler-errors:deeply-normalize-for-diagnostic, r=... | Michael Goulet | -2/+12 |
| 2023-12-05 | Add more | Michael Goulet | -1/+1 |
| 2023-12-05 | Add deeply_normalize_for_diagnostics, use it in coherence | Michael Goulet | -2/+12 |
| 2023-11-26 | Auto merge of #118267 - compiler-errors:ambiguity-causes, r=spastorino | bors | -24/+15 |
| 2023-11-25 | Rollup merge of #118288 - compiler-errors:is_some_and, r=lqd,dtolnay | Michael Goulet | -6/+14 |
| 2023-11-25 | Rollup merge of #117871 - klensy:unused-pub, r=cjgillot | Guillaume Gomez | -1/+1 |
| 2023-11-25 | is_{some,ok}_and | Michael Goulet | -6/+14 |
| 2023-11-24 | AmbiguityCause should not eagerly format strings | Michael Goulet | -24/+15 |
| 2023-11-23 | fix intercrate ambiguity causes | lcnr | -2/+4 |
| 2023-11-23 | review | klensy | -2/+1 |
| 2023-11-23 | few more | klensy | -0/+1 |
| 2023-11-21 | Rollup merge of #118115 - spastorino:fix-old-fn-names, r=compiler-errors | Nilstrieb | -1/+1 |
| 2023-11-20 | Fix occurrences of old fn names in comment and tracing | Santiago Pastorino | -1/+1 |
| 2023-11-20 | Rollup merge of #118089 - lcnr:intercrate-ambig-msg, r=compiler-errors | Matthias Krüger | -1/+23 |
| 2023-11-20 | Don't require intercrate mode for negative coherence | Michael Goulet | -1/+7 |
| 2023-11-20 | Don't drop region constraints that come from plugging infer regions with plac... | Michael Goulet | -7/+7 |
| 2023-11-20 | handle reservation impls, track impl source | lcnr | -1/+23 |
| 2023-11-19 | Rollup merge of #118000 - compiler-errors:placeholder-ty-outlives, r=aliemjay | Michael Goulet | -2/+8 |
| 2023-11-19 | Ignore but do not assume region obligations from unifying headers in negative... | Michael Goulet | -9/+8 |
| 2023-11-19 | Make regionck care about placeholders in outlives components | Michael Goulet | -2/+8 |
| 2023-11-15 | Auto merge of #117878 - gavinleroy:proper-depth-check, r=lcnr | bors | -1/+7 |
| 2023-11-14 | Add guard checking for associated types before computing intercrate ambiguity... | Gavin Gray | -1/+7 |
| 2023-11-13 | args~~_ref~~_may_unify | lcnr | -1/+1 |
| 2023-10-23 | nits | Michael Goulet | -82/+34 |
| 2023-10-23 | Consider regions | Michael Goulet | -2/+9 |
| 2023-10-23 | Make things work by using the new solver | Michael Goulet | -2/+2 |
| 2023-10-23 | Rework negative coherence | Michael Goulet | -39/+152 |
| 2023-10-23 | Remove FnPtr hack from trait_ref_is_knowable | Michael Goulet | -7/+0 |
| 2023-10-23 | pre-cleanups | Michael Goulet | -24/+32 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -2/+2 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -3/+1 |
| 2023-09-21 | review | lcnr | -78/+75 |
| 2023-09-21 | proof trees: use for `intercrate_ambiguity_causes` | lcnr | -92/+239 |
| 2023-08-30 | Don't record spans for predicates in coherence | Michael Goulet | -19/+11 |
| 2023-08-15 | more nits | Michael Goulet | -5/+28 |
| 2023-08-15 | Reuse the selection context, compute failing obligations first in ambig mode | Michael Goulet | -76/+65 |
| 2023-08-15 | Implement lint against coinductive impl overlap | Michael Goulet | -3/+42 |
| 2023-08-15 | more span info | Michael Goulet | -7/+9 |
| 2023-08-12 | normalize in `trait_ref_is_knowable` in new solver | lcnr | -25/+43 |
| 2023-07-30 | inline format!() args up to and including rustc_codegen_llvm | Matthias Krüger | -1/+1 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -13/+11 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -3/+2 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -6/+16 |
| 2023-07-03 | use `deeply_normalize` for `assumed_wf_types` | lcnr | -1/+5 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -1/+6 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -1/+3 |
