| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-04-16 | Subtype predicates only exist on inference types, so we can allow them to reg... | Oli Scherer | -2/+15 |
| 2024-04-15 | Add an opt-in to store incoming edges in `VecGraph` + some docs | Maybe Waffle | -1/+1 |
| 2024-04-16 | Rollup merge of #123016 - compiler-errors:no-type-var-origin, r=lcnr | León Orell Valerian Liehr | -122/+61 |
| 2024-04-15 | Simplify shallow resolver to just fold ty/consts | Michael Goulet | -107/+79 |
| 2024-04-15 | Rebase fallout | Michael Goulet | -3/+4 |
| 2024-04-15 | nits | Michael Goulet | -4/+3 |
| 2024-04-15 | Account for Self params properly | Michael Goulet | -20/+19 |
| 2024-04-15 | Remove ConstVariableOriginKind | Michael Goulet | -32/+15 |
| 2024-04-15 | Remove TypeVariableOriginKind | Michael Goulet | -74/+31 |
| 2024-04-15 | More polishing | Michael Goulet | -0/+1 |
| 2024-04-15 | The new solver ignores `DefineOpaqueTypes`, so switch it to `Yes` | Oli Scherer | -1/+1 |
| 2024-04-15 | PolyTraitRefs -> TraitRefs | Michael Goulet | -34/+16 |
| 2024-04-11 | Rollup merge of #123703 - estebank:diag-changes-2, r=Nadrieril | León Orell Valerian Liehr | -19/+56 |
| 2024-04-10 | Use `fn` ptr signature instead of `{closure@..}` in infer error | Esteban Küber | -19/+56 |
| 2024-04-09 | Add a helper for extending a span to include any trailing whitespace | Michael Goulet | -6/+2 |
| 2024-04-09 | Don't use bytepos offsets when computing semicolon span for removal | Michael Goulet | -2/+9 |
| 2024-04-08 | Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnr | bors | -93/+87 |
| 2024-04-08 | Ensure the canonical_param_env_cache does not contain inconsistent informatio... | Oli Scherer | -2/+6 |
| 2024-04-08 | Avoid fetching the opaque type origin when only "is this in the defining scop... | Oli Scherer | -18/+11 |
| 2024-04-08 | Eliminate `DefiningAnchor` now that is just a single-variant enum | Oli Scherer | -65/+62 |
| 2024-04-08 | Adjust a comment to the new status quo | Oli Scherer | -6/+3 |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -12/+15 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+2 |
| 2024-04-04 | Switch `can_eq` and `can_sub` to `DefineOpaqueTypes::Yes` | Oli Scherer | -2/+6 |
| 2024-04-03 | Check `x86_64` size assertions on `aarch64`, too | Zalathar | -1/+1 |
| 2024-03-29 | Rollup merge of #123188 - klensy:clippy-me2, r=Nilstrieb | Matthias Krüger | -3/+3 |
| 2024-03-28 | compiler: fix few needless_pass_by_ref_mut clippy lints | klensy | -3/+3 |
| 2024-03-28 | Auto merge of #122832 - oli-obk:no_ord_def_id3, r=michaelwoerister | bors | -1/+2 |
| 2024-03-27 | Remove TypeVariableOriginKind::OpaqueInference | Michael Goulet | -2/+1 |
| 2024-03-27 | Stop doing expensive work in opt_suggest_box_span eagerly | Michael Goulet | -62/+12 |
| 2024-03-27 | Remove `Partial/Ord` from `BoundRegion` | Oli Scherer | -1/+2 |
| 2024-03-24 | Rollup merge of #122217 - estebank:issue-119685, r=fmease | Matthias Krüger | -10/+4 |
| 2024-03-23 | Rollup merge of #122780 - GuillaumeGomez:rename-hir-local, r=oli-obk | Matthias Krüger | -6/+7 |
| 2024-03-22 | Rename `hir::Node::Local` into `hir::Node::LetStmt` | Guillaume Gomez | -1/+2 |
| 2024-03-22 | Rename `hir::Local` into `hir::LetStmt` | Guillaume Gomez | -6/+6 |
| 2024-03-22 | Split out ImplPolarity and PredicatePolarity | Michael Goulet | -2/+2 |
| 2024-03-22 | Auto merge of #122824 - oli-obk:no_ord_def_id2, r=estebank,michaelwoerister | bors | -9/+12 |
| 2024-03-21 | Stop sorting via `DefId`s in region resolution | Oli Scherer | -9/+12 |
| 2024-03-21 | Rollup merge of #122799 - estebank:issue-122569, r=fee1-dead | Matthias Krüger | -31/+46 |
| 2024-03-21 | Auto merge of #121123 - compiler-errors:item-assumptions, r=oli-obk | bors | -10/+13 |
| 2024-03-21 | Auto merge of #121587 - ShoyuVanilla:fix-issue-121267, r=TaKO8Ki | bors | -16/+55 |
| 2024-03-21 | Fix bad span for explicit lifetime suggestion | Shoyu Vanilla | -16/+55 |
| 2024-03-20 | Rollup merge of #122749 - aliemjay:region-err, r=compiler-errors | Jacob Pratt | -3/+0 |
| 2024-03-21 | Replace closures with `_` when suggesting fully qualified path for method call | Esteban Küber | -31/+46 |
| 2024-03-20 | register opaques that reference errors | Ali MJ Al-Nasrawy | -3/+0 |
| 2024-03-20 | Split item bounds and item super predicates | Michael Goulet | -10/+13 |
| 2024-03-20 | Rollup merge of #122540 - WaffleLapkin:ununexpected, r=estebank | Matthias Krüger | -2/+2 |
| 2024-03-19 | Auto merge of #122735 - matthiaskrgr:rollup-pgb1s90, r=matthiaskrgr | bors | -1/+1 |
| 2024-03-19 | Auto merge of #122392 - BoxyUwU:misc_cleanup, r=lcnr | bors | -4/+4 |
| 2024-03-19 | The AssocOpaqueTy HIR node is not actually needed to differentiate from other... | Oli Scherer | -1/+1 |
