| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-01-21 | Encode whether foreign opaques are TAITs or not | Michael Goulet | -1/+1 |
| 2022-12-05 | support `Expr` in `is_const_evaluatable` and `compute` | Boxy | -2/+17 |
| 2022-11-25 | Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwU | bors | -0/+5 |
| 2022-11-25 | add FIXME for things that I couldn't find ways to trigger | Boxy | -3/+4 |
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -0/+4 |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -12/+15 |
| 2022-11-22 | Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr | Manish Goregaokar | -0/+2 |
| 2022-11-21 | Stop passing the self-type as a separate argument. | Oli Scherer | -1/+1 |
| 2022-11-21 | Add helper to create the trait ref for a lang item | Oli Scherer | -2/+1 |
| 2022-11-21 | Allow iterators instead of requiring slices that will get turned into iterators | Oli Scherer | -5/+2 |
| 2022-11-21 | Assert that various types have the right amount of generic args and fix the s... | Oli Scherer | -4/+5 |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally al... | Oli Scherer | -0/+2 |
| 2022-11-19 | drive-by: PolyExistentialPredicate | Michael Goulet | -2/+2 |
| 2022-11-16 | Convert predicates into Predicate in the Obligation constructor | Oli Scherer | -17/+27 |
| 2022-11-09 | 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 |
