| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-01 | Auto merge of #121462 - compiler-errors:eq-and-sub, r=lcnr | bors | -26/+9 |
| 2024-03-01 | Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errors | bors | -1/+3 |
| 2024-03-01 | Remove a_is_expected from combine relations | Michael Goulet | -6/+3 |
| 2024-03-01 | Get rid of some sub_exp and eq_exp | Michael Goulet | -23/+9 |
| 2024-02-29 | Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errors | Matthias Krüger | -18/+8 |
| 2024-02-29 | Rollup merge of #121669 - nnethercote:count-stashed-errs-again, r=estebank | Guillaume Gomez | -11/+7 |
| 2024-02-29 | Rollup merge of #121654 - compiler-errors:async-fn-for-fn-def, r=oli-obk | Guillaume Gomez | -92/+230 |
| 2024-02-29 | Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=... | Jacob Pratt | -0/+9 |
| 2024-02-29 | Overhaul how stashed diagnostics work, again. | Nicholas Nethercote | -11/+7 |
| 2024-02-28 | Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive` | Trevor Gross | -1/+3 |
| 2024-02-28 | Deeply normalize obligations in refining_impl_trait | Michael Goulet | -0/+9 |
| 2024-02-28 | Rename `DiagnosticBuilder` as `Diag`. | Nicholas Nethercote | -110/+92 |
| 2024-02-27 | Don't emit higher-ranked Future obligations when confirm async Fn goals | Michael Goulet | -6/+16 |
| 2024-02-27 | Add a couple helpers, make return types less confusing | Michael Goulet | -116/+172 |
| 2024-02-27 | Support `{async closure}: Fn` in new solver | Michael Goulet | -1/+73 |
| 2024-02-27 | safe transmute: revise safety analysis | Jack Wrenn | -18/+8 |
| 2024-02-26 | Rollup merge of #121617 - compiler-errors:async-closure-kind-check, r=oli-obk | Matthias Krüger | -2/+3 |
| 2024-02-26 | consider placeholders in `fn term_is_fully_unconstrained` | lcnr | -37/+49 |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -219/+232 |
| 2024-02-26 | add additional logging | lcnr | -1/+7 |
| 2024-02-26 | Actually use the right closure kind when checking async Fn goals | Michael Goulet | -2/+3 |
| 2024-02-25 | Rollup merge of #121060 - clubby789:bool-newtypes, r=cjgillot | Matthias Krüger | -4/+19 |
| 2024-02-24 | Auto merge of #121549 - matthiaskrgr:rollup-1hvu3lb, r=matthiaskrgr | bors | -16/+19 |
| 2024-02-23 | compiler: clippy::complexity fixes | Matthias Krüger | -17/+14 |
| 2024-02-23 | delay cloning of iterator items | Matthias Krüger | -16/+19 |
| 2024-02-23 | Rollup merge of #121434 - nnethercote:fix-121208-fallout, r=lcnr | Matthias Krüger | -3/+1 |
| 2024-02-23 | Revert some `span_bug`s to `span_delayed_bug`. | Nicholas Nethercote | -3/+1 |
| 2024-02-22 | Auto merge of #119989 - lcnr:sub_relations-bye-bye, r=compiler-errors | bors | -72/+97 |
| 2024-02-22 | change error messages to be incorrect, but more helpful | lcnr | -1/+1 |
| 2024-02-22 | Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnr | Matthias Krüger | -2/+4 |
| 2024-02-22 | Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr | Matthias Krüger | -115/+1 |
| 2024-02-22 | do not use <: in subtyping overflow msg | lcnr | -7/+20 |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -49/+78 |
| 2024-02-22 | freshen: resolve root vars | lcnr | -23/+2 |
| 2024-02-22 | remove `sub_relations` from infcx, recompute in diagnostics | lcnr | -0/+4 |
| 2024-02-22 | Preserve the `Span` from `prove_predicate` all the way to registering opaque ... | Oli Scherer | -2/+4 |
| 2024-02-22 | Replace unnecessary `abort_if_errors`. | Nicholas Nethercote | -9/+2 |
| 2024-02-21 | Rollup merge of #121359 - lcnr:typesystem-cleanup, r=compiler-errors | León Orell Valerian Liehr | -63/+62 |
| 2024-02-21 | Rollup merge of #121328 - ffmancera:ff/verbose_long_type, r=compiler-errors | Dylan DPC | -0/+12 |
| 2024-02-21 | Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnr | Dylan DPC | -20/+16 |
| 2024-02-21 | Convert `bug`s back to `delayed_bug`s. | Nicholas Nethercote | -10/+10 |
| 2024-02-21 | Convert `delayed_bug`s to `bug`s. | Nicholas Nethercote | -15/+11 |
| 2024-02-20 | Suggest using --verbose when writing type to a file | Fernando Fernandez Mancera | -0/+12 |
| 2024-02-20 | some type system cleanup | lcnr | -63/+62 |
| 2024-02-20 | Rollup merge of #121344 - fmease:lta-constr-by-input, r=oli-obk | Matthias Krüger | -21/+17 |
| 2024-02-20 | Rollup merge of #121322 - compiler-errors:next-solver-fulfillment-ice, r=lcnr | Matthias Krüger | -1/+4 |
| 2024-02-20 | Introduce expand_weak_alias_tys | León Orell Valerian Liehr | -11/+9 |
| 2024-02-20 | Rename some normalization-related items | León Orell Valerian Liehr | -10/+8 |
| 2024-02-20 | Add newtype for first input type | clubby789 | -4/+19 |
| 2024-02-20 | Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav... | bors | -84/+105 |
