From 9fce39aaa25ed0d3c88f0c638cc17fc430427b39 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Wed, 26 Jun 2024 18:59:32 -0400 Subject: [PATCH] update status and table --- src/2024h2/ATPIT.md | 2 +- src/2024h2/Patterns-of-empty-types.md | 10 +++---- src/2024h2/Polonius.md | 2 +- src/2024h2/a-mir-formality.md | 2 +- src/2024h2/candidates.md | 32 +++++++++++++---------- src/2024h2/const-traits.md | 4 +-- src/2024h2/ergonomic-rc.md | 2 +- src/2024h2/min_generic_const_arguments.md | 4 +-- src/2024h2/next-solver.md | 2 +- src/SUMMARY.md | 2 ++ 10 files changed, 34 insertions(+), 28 deletions(-) diff --git a/src/2024h2/ATPIT.md b/src/2024h2/ATPIT.md index d41cde1..277f306 100644 --- a/src/2024h2/ATPIT.md +++ b/src/2024h2/ATPIT.md @@ -4,7 +4,7 @@ | --- | --- | | Owner(s) | [oli-obk] | | Teams | [Types], [Lang] | -| Status | WIP | +| Status | Under active consideration | [oli-obk]: https://github.com/oli-obk diff --git a/src/2024h2/Patterns-of-empty-types.md b/src/2024h2/Patterns-of-empty-types.md index 629495e..628ed3e 100644 --- a/src/2024h2/Patterns-of-empty-types.md +++ b/src/2024h2/Patterns-of-empty-types.md @@ -1,10 +1,10 @@ # Patterns of empty types -| Metadata | | -| -------- | ----------- | -| Owner(s) | [Nadrieril] | -| Teams | [Lang] | -| Status | WIP | +| Metadata | | +| -------- | -------------------- | +| Owner(s) | [Nadrieril] | +| Teams | [Lang] | +| Status | Under active consideration | [Nadrieril]: https://github.com/Nadrieril [Compiler]: https://www.rust-lang.org/governance/teams/compiler diff --git a/src/2024h2/Polonius.md b/src/2024h2/Polonius.md index 00c8a19..ff7d018 100644 --- a/src/2024h2/Polonius.md +++ b/src/2024h2/Polonius.md @@ -4,7 +4,7 @@ | -------- | ------- | | Owner(s) | [lqd] | | Teams | [Types] | -| Status | WIP | +| Status | WIP | [lqd]: https://github.com/lqd [Types]: https://www.rust-lang.org/governance/teams/compiler#team-types diff --git a/src/2024h2/a-mir-formality.md b/src/2024h2/a-mir-formality.md index 895fb54..fb34d89 100644 --- a/src/2024h2/a-mir-formality.md +++ b/src/2024h2/a-mir-formality.md @@ -4,7 +4,7 @@ | --- | --- | | Owner(s) | [nikomatsakis] | | Teams | [Types] | -| Status | WIP | +| Status | Under active consideration | [nikomatsakis]: https://github.com/lqd [Types]: https://www.rust-lang.org/governance/teams/compiler#team-types diff --git a/src/2024h2/candidates.md b/src/2024h2/candidates.md index 30e6a81..018e881 100644 --- a/src/2024h2/candidates.md +++ b/src/2024h2/candidates.md @@ -41,25 +41,29 @@ Do it! [Instructions for proposing goals can be found here.](../how_to/propose_a ### Top candidates -| 2024 goal | Accepted or proposed in | Owner | Team | -| ------------------------------------------------------ | ----------------------- | ---------------- | ------- | -| [Assemble goal slate][AGS] | [RFC #3614][] | [nikomatsakis][] | [LC] | -| [Cargo Script][CS] | [#22][] | [epage] | [Cargo], [Lang] | -| [Next-generation trait solver][NTS] | (not yet accepted) | [lcnr] | [Types] | -| [Formal model of Rust][AMF] | (not yet accepted) | [nikomatsakis] | [Types] | -| [Polonius on Nightly][NBNLB] | (not yet accepted) | [lqd] | [Types] | -| [Stabilize Associated type positiom impl trait][ATPIT] | (not yet accepted) | [oli-obk] | [Types], [Lang] | -| [Patterns of empty types][PET] | (not yet accepted) | [Nadrieril] | [Lang] | -| [Ergonomic ref-counting][RC] | (not yet accepted) | [jkelleyrtp] | [Lang], [Libs-API][] | +| 2024 goal | Accepted or proposed in | Owner | Team | +| ------------------------------------------------------ | ----------------------- | ---------------- | -------------------- | +| [Assemble goal slate][AGS] | [RFC #3614][] | [nikomatsakis][] | [LC] | +| [Cargo Script][CS] | [#22][] | [epage] | [Cargo], [Lang] | +| [Next-generation trait solver][NTS] | (not yet accepted) | [lcnr] | [Types] | +| [Formal model of Rust][AMF] | (not yet accepted) | [nikomatsakis] | [Types] | +| [Polonius on Nightly][NBNLB] | (not yet accepted) | [lqd] | [Types] | +| [Stabilize Associated type positiom impl trait][ATPIT] | (not yet accepted) | [oli-obk] | [Types], [Lang] | +| [Patterns of empty types][PET] | (not yet accepted) | [Nadrieril] | [Lang] | +| [Ergonomic ref-counting][RC] | (not yet accepted) | [jkelleyrtp] | [Lang], [Libs-API][] | +| [Min generics const argument][MGCA] | (not yet accepted) | BoxyUwU | [Types][] | +| [Const traits][CT] | (not yet accepted) | feel1-dead | [Lang], [Libs-API][] | [AGS]: ./Project-goal-slate.md [CS]: ./cargo-script.md [NTS]: ./next-solver.md [AMF]: ./a-mir-formality.md [NBNLB]: ./Polonius.md -[ATPIT]: ./Impl-trait-everywhere.md +[ATPIT]: ./ATPIT.md [PET]: ./Patterns-of-empty-types.md [RC]: ./ergonomic-rc.md +[MGCA]: ./min_generic_const_arguments.md +[CT]: ./const-traits.md [#22]: https://github.com/rust-lang/rust-project-goals/issues/22 @@ -71,9 +75,9 @@ Do it! [Instructions for proposing goals can be found here.](../how_to/propose_a These are goals that are still being workshopped. They are sorted roughly by progress and likelihood to become top candidates. In many cases the work being described will definitely happen, but it is not clear if they ought to become a "Project Goal". -| 2024 goal | Owner | Teams | -| -------------------------------- | ----------------- | ------------------ | -| [Contracts and invariants][CI] | [pnkfelix] | [Lang], [Compiler] | +| 2024 goal | Owner | Teams | +| -------------------------------- | ---------------- | ------------------ | +| [Contracts and invariants][CI] | [pnkfelix] | [Lang], [Compiler] | | [Relaxing the Orphan Rule][RTOR] | [JoshTriplett][] | [Lang] | [CI]: ./Contracts-and-invariants.md diff --git a/src/2024h2/const-traits.md b/src/2024h2/const-traits.md index 9b0a66e..7949b36 100644 --- a/src/2024h2/const-traits.md +++ b/src/2024h2/const-traits.md @@ -8,8 +8,8 @@ | Metadata | | | --- | --- | -| Owner(s) | *Github usernames or other identifying info for goal owners* | -| Teams | *Names of teams being asked to commit to the goal* | +| Owner(s) | feel1-dead | +| Teams | | Status | WIP | ## Motivation diff --git a/src/2024h2/ergonomic-rc.md b/src/2024h2/ergonomic-rc.md index 5192b35..9601264 100644 --- a/src/2024h2/ergonomic-rc.md +++ b/src/2024h2/ergonomic-rc.md @@ -4,7 +4,7 @@ | -------- | ------------------ | | Owner(s) | [jkelleyrtp][] | | Teams | [Lang], [Libs-API] | -| Status | WIP | +| Status | Under active consideration | [Lang]: https://www.rust-lang.org/governance/teams/lang [Libs-API]: https://www.rust-lang.org/governance/teams/library#team-libs-api diff --git a/src/2024h2/min_generic_const_arguments.md b/src/2024h2/min_generic_const_arguments.md index ec53441..a1ab9d1 100644 --- a/src/2024h2/min_generic_const_arguments.md +++ b/src/2024h2/min_generic_const_arguments.md @@ -3,8 +3,8 @@ | Metadata | | | --- | --- | | Owner(s) | BoxyUwU | -| Teams | lang | -| Status | WIP | +| Teams | Types | +| Status | Under active consideration | ## Motivation diff --git a/src/2024h2/next-solver.md b/src/2024h2/next-solver.md index a9db23e..3437fdd 100644 --- a/src/2024h2/next-solver.md +++ b/src/2024h2/next-solver.md @@ -4,7 +4,7 @@ | --- | --- | | Owner(s) | [@lcnr] | | Teams | [Types] | -| Status | WIP | +| Status | Under active consideration | ## Motivation diff --git a/src/SUMMARY.md b/src/SUMMARY.md index 3e19d53..d537521 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -22,6 +22,8 @@ - [Associated type position impl trait](./2024h2/ATPIT.md) - [Patterns of empty types](./2024h2/Patterns-of-empty-types.md) - [Rust for Sci Comp](./2024h2/Rust-for-SciComp.md) + - [Min generics const argument](./2024h2/min_generic_const_arguments.md) + - [Const traits](./2024h2/const-traits.md) - [General notes](./2024h2/notes.md) - [📖 Learn about](./about/index.md) - [Goal motivations](./about/motivation.md)