| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -1/+1 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -1/+1 |
| 2022-09-12 | Plumb dyn trait representation through ty::Dynamic | Eric Holk | -1/+1 |
| 2022-09-08 | Create VarValue::Empty | Jack Huey | -0/+4 |
| 2022-09-07 | Rollup merge of #101503 - spastorino:add-debug-calls, r=compiler-errors | Matthias Krüger | -0/+3 |
| 2022-09-07 | Add instrument and debug calls | Santiago Pastorino | -0/+3 |
| 2022-09-05 | Pack `Term` in the same way as `GenericArg`. | Nicholas Nethercote | -3/+3 |
| 2022-09-01 | tracing::instrument cleanup | Oli Scherer | -1/+1 |
| 2022-08-21 | Rework point-at-arg | Michael Goulet | -1/+1 |
| 2022-08-13 | wf correctly shallow_resolve consts | lcnr | -9/+7 |
| 2022-07-24 | Instantiate constness in wfcheck | Deadbeef | -8/+35 |
| 2022-07-18 | Check generators for well formedness | Oli Scherer | -6/+8 |
| 2022-07-10 | Don't pass InferCtxt to WfPredicates | Jack Huey | -23/+29 |
| 2022-07-10 | Don't try to resolve inference variables in WF computation, just register | Jack Huey | -35/+17 |
| 2022-07-08 | Auto merge of #98816 - estebank:implicit-sized, r=oli-obk | bors | -6/+6 |
| 2022-07-07 | Move code from rustc_trait_selection/opaque_types to better places | Jack Huey | -1/+60 |
| 2022-07-07 | Track `WellFormed` obligations with an appropriate cause, instead of `MiscObl... | Esteban Küber | -6/+6 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -4/+4 |
| 2022-06-01 | remove an unnecessary `Option` | Takayuki Maeda | -3/+10 |
| 2022-05-17 | Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebank | bors | -18/+10 |
| 2022-05-13 | Check that closures satisfy their where bounds | Oli Scherer | -8/+16 |
| 2022-05-10 | Move an extension trait method onto the type directly and reuse it | Oli Scherer | -8/+4 |
| 2022-05-10 | Don't lose an obligation cause | Oli Scherer | -2/+0 |
| 2022-05-10 | Remove some unnecessary clones | Oli Scherer | -19/+17 |
| 2022-05-02 | fix most compiler/ doctests | Elliot Roberts | -1/+1 |
| 2022-03-11 | Improve `AdtDef` interning. | Nicholas Nethercote | -1/+1 |
| 2022-03-01 | 9 - Make more use of `let_chains` | Caio | -22/+16 |
| 2022-02-21 | use `List<Ty<'tcx>>` for tuples | lcnr | -2/+2 |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -5/+7 |
| 2022-02-15 | Overhaul `PredicateInner` and `Predicate`. | Nicholas Nethercote | -2/+2 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -4/+0 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -0/+4 |
| 2022-01-26 | Improve selection errors for `~const` trait bounds | Deadbeef | -3/+2 |
| 2022-01-17 | Update term for use in more places | kadmin | -2/+5 |
| 2022-01-17 | Use Term in ProjectionPredicate | kadmin | -2/+2 |
| 2022-01-15 | nyahggdshjjghsdfhgsf | Ellen | -2/+0 |
| 2022-01-15 | attempt to re-add `ty::Unevaluated` visitor and friends | Ellen | -7/+7 |
| 2022-01-15 | initial revert | Ellen | -12/+9 |
| 2022-01-07 | Add query to avoid name comparison in `leaf_def` | Matthew Jasper | -14/+20 |
| 2021-12-20 | Eliminate `ObligationCauseData`. | Nicholas Nethercote | -6/+5 |
| 2021-12-12 | Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk" | Deadbeef | -3/+4 |
| 2021-12-03 | Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" | Santiago Pastorino | -4/+3 |
| 2021-12-01 | TODO => FIXME | Deadbeef | -1/+1 |
| 2021-11-29 | Completely remove ConstnessAnd | Oli Scherer | -1/+1 |
| 2021-11-29 | Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait... | Oli Scherer | -2/+3 |
| 2021-11-20 | Point at source of trait bound obligations in more places | Esteban Kuber | -1/+6 |
| 2021-09-24 | Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakis | Jubilee | -11/+17 |
| 2021-09-20 | Do not store visibility in *ItemRef. | Camille GILLOT | -1/+1 |
| 2021-09-15 | Remove ToPredicate impls that use Binder::dummy | jackh726 | -11/+17 |
