| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-11 | instantiate higher ranked goals in candidate selection | lcnr | -54/+12 |
| 2024-06-13 | Revert "When checking whether an impl applies, constrain hidden types of opaq... | Oli Scherer | -1/+1 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -2/+2 |
| 2024-06-06 | Uplift TypeError | Michael Goulet | -0/+1 |
| 2024-06-05 | Fully implement `ConstArgHasType` | Boxy | -12/+14 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -2/+3 |
| 2024-06-03 | check_is_object_safe -> is_object_safe | Michael Goulet | -1/+1 |
| 2024-06-01 | Deduplicate supertrait_def_ids code | Mark Rousskov | -2/+1 |
| 2024-05-30 | Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errors | bors | -1/+18 |
| 2024-05-29 | Partially implement `ConstArgHasType` | Boxy | -1/+18 |
| 2024-05-28 | Get rid of manual Trace calls | Michael Goulet | -2/+5 |
| 2024-05-23 | Support constraining opaque types while trait upcasting with binders | Oli Scherer | -1/+1 |
| 2024-05-23 | Allow defining opaque types during trait object upcasting. | Oli Scherer | -1/+1 |
| 2024-05-23 | When checking whether an impl applies, constrain hidden types of opaque types. | Oli Scherer | -1/+1 |
| 2024-05-19 | Add and use generics.is_empty() and generics.is_own_empty, rather than using ... | Santiago Pastorino | -1/+1 |
| 2024-05-17 | Only make GAT ambiguous in match_projection_projections considering shallow r... | Michael Goulet | -1/+11 |
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -2/+2 |
| 2024-05-16 | Make P parameter explicit | Michael Goulet | -4/+3 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -5/+5 |
| 2024-05-13 | Auto merge of #125076 - compiler-errors:alias-term, r=lcnr | bors | -5/+5 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -5/+5 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-05-10 | Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnr | bors | -0/+1 |
| 2024-05-10 | Lift `TraitRef` into `rustc_type_ir` | Michael Goulet | -0/+1 |
| 2024-05-10 | More rename fallout | Michael Goulet | -3/+3 |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -8/+6 |
| 2024-05-10 | Remove glob imports for ObligationCauseCode | Michael Goulet | -9/+11 |
| 2024-05-09 | Rename Generics::params to Generics::own_params | Michael Goulet | -2/+2 |
| 2024-05-02 | shallow resolve in orphan check | lcnr | -1/+1 |
| 2024-04-30 | Give items related to issue 33140 a more meaningful name | León Orell Valerian Liehr | -1/+1 |
| 2024-04-20 | include ParamEnv in projection cache key | Lukas Markeffsky | -3/+7 |
| 2024-04-15 | Simplify shallow resolver to just fold ty/consts | Michael Goulet | -4/+4 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -1/+8 |
| 2024-04-06 | Add a debug asserts call to match_projection_projections to ensure invariant | Santiago Pastorino | -0/+2 |
| 2024-04-04 | Rollup merge of #123464 - fmease:rn-has-proj-to-has-aliases, r=compiler-errors | Jacob Pratt | -1/+1 |
| 2024-04-04 | Rename HAS_PROJECTIONS to HAS_ALIASES etc. | León Orell Valerian Liehr | -1/+1 |
| 2024-04-04 | Allow defining opaque types when checking const equality bounds | Oli Scherer | -3/+9 |
| 2024-04-04 | Add some regression tests for opaque types and const generics | Oli Scherer | -1/+2 |
| 2024-04-03 | move leak check out of candidate evaluation | lcnr | -14/+62 |
| 2024-04-03 | Auto merge of #122791 - compiler-errors:make-coinductive-always, r=lcnr | bors | -39/+3 |
| 2024-04-01 | Instantiate closure-like bounds with placeholders to deal with binders correctly | Michael Goulet | -14/+6 |
| 2024-03-31 | Remove EvaluatedToErrStackDependent | Michael Goulet | -39/+3 |
| 2024-03-31 | Always make inductive cycles as ambig during typeck | Michael Goulet | -1/+1 |
| 2024-03-22 | Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgr | bors | -4/+7 |
| 2024-03-22 | Split out ImplPolarity and PredicatePolarity | Michael Goulet | -4/+7 |
| 2024-03-22 | Programmatically convert some of the pat ctors | Michael Goulet | -3/+1 |
| 2024-03-22 | Implement `FusedIterator` for `gen` block | Shoyu Vanilla | -0/+14 |
| 2024-03-20 | Split item bounds and item super predicates | Michael Goulet | -14/+10 |
| 2024-03-19 | Auto merge of #122493 - lukas-code:sized-constraint, r=lcnr | bors | -7/+8 |
| 2024-03-18 | address nits | Lukas Markeffsky | -5/+8 |
