| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-08 | Add some new solver tests | Michael Goulet | -0/+49 |
| 2024-03-07 | Merge `check_mod_impl_wf` and `check_mod_type_wf` | Oli Scherer | -18/+18 |
| 2024-03-01 | Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ... | Matthias Krüger | -65/+7 |
| 2024-02-29 | Make infer higher ranked equate use bidirectional subtyping in invariant context | Santiago Pastorino | -1/+9 |
| 2024-02-29 | track overflowing goals for overfow errors | lcnr | -0/+3 |
| 2024-02-29 | distinguish recursion limit based overflow for diagnostics | lcnr | -65/+4 |
| 2024-02-27 | Process alias-relate obligations in CoerceUnsized loop | Michael Goulet | -0/+18 |
| 2024-02-26 | add regression tests | lcnr | -0/+52 |
| 2024-02-26 | update tests | lcnr | -52/+55 |
| 2024-02-25 | Use generic `NonZero` in tests. | Markus Reiter | -6/+7 |
| 2024-02-22 | Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr | Matthias Krüger | -15/+1 |
| 2024-02-21 | Rollup merge of #121359 - lcnr:typesystem-cleanup, r=compiler-errors | León Orell Valerian Liehr | -8/+8 |
| 2024-02-20 | some type system cleanup | lcnr | -8/+8 |
| 2024-02-20 | Simply do not ICE | Michael Goulet | -0/+26 |
| 2024-02-19 | Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU | bors | -2/+2 |
| 2024-02-17 | move ty var instantiation into the generalize module | lcnr | -2/+2 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -251/+251 |
| 2024-02-14 | Continue compilation after check_mod_type_wf errors | Oli Scherer | -5/+60 |
| 2024-02-13 | use alias-relate to structurally normalize in the solver | lcnr | -23/+24 |
| 2024-02-09 | hide impls if trait bound is proven from env | lcnr | -82/+316 |
| 2024-02-08 | Auto merge of #120558 - oli-obk:missing_impl_item_ice, r=estebank | bors | -6/+32 |
| 2024-02-06 | Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnr | Matthias Krüger | -3/+41 |
| 2024-02-05 | Stop bailing out from compilation just because there were incoherent traits | Oli Scherer | -6/+32 |
| 2024-02-04 | Auto merge of #120649 - matthiaskrgr:rollup-ek80j61, r=matthiaskrgr | bors | -4/+4 |
| 2024-02-03 | No need to validate_alias_bound_self_from_param_env in assemble_alias_bound_c... | Michael Goulet | -15/+1 |
| 2024-02-02 | Normalize the whole PolyTypeOutlivesPredicate, more simplifications | Michael Goulet | -2/+2 |
| 2024-02-02 | Normalize type outlives obligations in NLL | Michael Goulet | -0/+31 |
| 2024-02-02 | Use deeply_normalize_with_skipped_universes in when processing type outlives | Michael Goulet | -1/+8 |
| 2024-02-01 | review comment: change wording | Esteban Küber | -4/+4 |
| 2024-01-31 | Remove a has_errors check that doesn't actually prevent noisy follow up errors | Oli Scherer | -2/+10 |
| 2024-01-30 | Auto merge of #119101 - compiler-errors:outlives, r=lcnr | bors | -3/+48 |
| 2024-01-30 | Rollup merge of #120293 - estebank:issue-102629, r=nnethercote | Guillaume Gomez | -18/+5 |
| 2024-01-30 | Apply suggestions from review | Michael Goulet | -0/+20 |
| 2024-01-30 | Add a test | Michael Goulet | -0/+22 |
| 2024-01-30 | Deeply normalize when processing registered region obligations | Michael Goulet | -3/+6 |
| 2024-01-29 | bye bye `assemble_candidates_via_self_ty` | lcnr | -13/+85 |
| 2024-01-26 | remove unnecessary test | lcnr | -22/+0 |
| 2024-01-26 | move alias-relate tests | lcnr | -1/+1 |
| 2024-01-26 | next-solver: normalize in `LoweredTy::from_raw` | lcnr | -2/+40 |
| 2024-01-24 | Deduplicate more sized errors on call exprs | Esteban Küber | -18/+5 |
| 2024-01-22 | Revert "Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkin" | Oli Scherer | -0/+3 |
| 2024-01-13 | Bless tests | George-lewis | -0/+1 |
| 2024-01-12 | Rollup merge of #119817 - compiler-errors:normalize-opaques, r=lcnr | Guillaume Gomez | -12/+51 |
| 2024-01-11 | Remove special-casing around aliaskind in new solver | Michael Goulet | -12/+51 |
| 2024-01-09 | add comments and tests | lcnr | -0/+173 |
| 2024-01-02 | Reorder `check_item_type` diagnostics so they occur next to the corresponding... | Oli Scherer | -12/+5 |
| 2023-12-20 | Rollup merge of #119071 - lcnr:overflowo, r=compiler-errors | Matthias Krüger | -0/+25 |
| 2023-12-18 | Use alias-eq in structural normalization | Michael Goulet | -19/+18 |
| 2023-12-18 | dont discard overflow from normalizes-to goals | lcnr | -0/+25 |
| 2023-12-15 | Move type relations into submodule in rustc_infer | Michael Goulet | -8/+8 |
