| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-11-15 | Use `nominal_obligations_without_const` in wf for FnDef | Deadbeef | -1/+1 |
| 2022-10-29 | Rename some `OwnerId` fields. | Nicholas Nethercote | -3/+5 |
| 2022-10-25 | Move a wf-check into the site where the value is instantiated | Oli Scherer | -26/+0 |
| 2022-10-18 | change `ConstEvaluatable` to use `ty::Const` | lcnr | -11/+6 |
| 2022-10-10 | Rollup merge of #102829 - compiler-errors:rename-impl-item-kind, r=TaKO8Ki | Yuki Okushi | -1/+1 |
| 2022-10-09 | ImplItemKind::TyAlias => ImplItemKind::Type | Michael Goulet | -1/+1 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -7/+7 |
| 2022-10-04 | Merge the `~const` and `impl const` checks and add some explanatory notes | Oli Scherer | -2/+24 |
| 2022-10-04 | Only allow ~const bounds for traits with #[const_trait] | Oli Scherer | -0/+4 |
| 2022-09-22 | Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=... | bors | -1/+2 |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -1/+1 |
| 2022-09-16 | Do not require const predicates to hold when checking if a projection type is wf | Deadbeef | -1/+2 |
| 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 |
