| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-01-19 | Encode whether foreign opaques are TAITs or not | Michael Goulet | -1/+1 |
| 2023-01-17 | Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726 | Matthias Krüger | -1/+1 |
| 2023-01-17 | Remove double spaces after dots in comments | Maybe Waffle | -1/+1 |
| 2023-01-15 | Make InstantiatedPredicates impl IntoIterator | Michael Goulet | -1/+1 |
| 2023-01-11 | Change `src/test` to `tests` in source files, fix tidy and tests | Albert Larsan | -2/+2 |
| 2022-12-15 | Rollup merge of #105694 - ouz-a:issue_105689, r=estebank | Matthias Krüger | -13/+15 |
| 2022-12-14 | Ensure no one constructs `AliasTy`s themselves | Oli Scherer | -1/+1 |
| 2022-12-14 | skip if val has ecaping bound vars | ouz-a | -13/+15 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -4/+4 |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -3/+3 |
| 2022-12-13 | ProjectionTy.item_def_id -> ProjectionTy.def_id | Michael Goulet | -4/+4 |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -3/+3 |
| 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 |
