Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
146 changes: 146 additions & 0 deletions posts/inside-rust/2022-08-08-compiler-team-2022-midyear-report.md
Original file line number Diff line number Diff line change
Expand Up @@ -188,6 +188,8 @@ presentation here.

### I-unsound issues (🦀)

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#i-unsound-issues-)

<!-- https://hackmd.io/@rust-compiler-team/r1Abdj7uq -->

**Progress:** The Rust project has made progress on this ambition since the start of the year.
Expand Down Expand Up @@ -216,6 +218,8 @@ It is not effective to fix bugs that users will never encounter in practice when

### async traits

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#async-traits)

<!-- https://hackmd.io/@rust-compiler-team/H1eW9oXdc -->

**Progress:** The Rust project has made progress on this ambition since the start of the year.
Expand Down Expand Up @@ -247,6 +251,8 @@ We have an async stakeholders group that we use for this kind of input, but have

### async crashdump dissection

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#async-crashdump-dissection)

<!-- https://hackmd.io/@rust-compiler-team/SJYL9iQ_9 -->

**Progress:** The Rust project has made progress on this ambition since the start of the year, but we do not think this year’s planned goals for this ambition will be achieved in the next six months. We think a solution will be available in the next two years, but not sooner than six months.
Expand All @@ -268,6 +274,8 @@ The two main obstacles are:

### wg-debugging

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#debugging-initiatives-)

<!-- https://hackmd.io/@rust-compiler-team/HJOtiiQOq -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand All @@ -285,6 +293,8 @@ and we have completed some of our milestones. Furthermore, (some of) our work ha

### improving debuginfo quality

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#debugging-initiatives-)

<!-- https://hackmd.io/@rust-compiler-team/HJQ25sXOq -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand Down Expand Up @@ -319,6 +329,8 @@ team.

### supporting split debuginfo

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#debugging-initiatives-)

<!-- https://hackmd.io/@rust-compiler-team/ByXfjiXu5 -->

**Progress:** The Rust project has not made any progress on this ambition since the start of the year (@pnkfelix: but the free form answer somewhat contradicts this)
Expand All @@ -339,6 +351,8 @@ The owner of this work, @davidtwco, intends to stick with the theme of debugging

### better integration with trace-based debuggers

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#debugging-initiatives-)

<!-- https://hackmd.io/@rust-compiler-team/BkJSsi7d5 -->

**Progress:** The Rust project has not made any progress on this ambition since the start of the year.
Expand All @@ -361,6 +375,8 @@ control flow where that specific character was emitted to stdout/stderr.

### Faster Builds Initiatives (👩‍💻, 🛠️)

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#faster-builds-initiatives--%EF%B8%8F)

<!-- https://hackmd.io/@rust-compiler-team/B1O2siXd9 -->

**Progress:** The Rust project has made progress on this ambition since the start of the year, and we think this year’s planned goals for this ambition will be achieved in the next six months. (Note that also we think our chosen problem is never-ending and will never be “resolved”.)
Expand All @@ -386,6 +402,8 @@ control flow where that specific character was emitted to stdout/stderr.

### Generic Associated Types

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#expressiveness-initiatives--)

<!-- https://hackmd.io/@rust-compiler-team/BkM83iX_9 -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand All @@ -409,6 +427,8 @@ If @jackh726 hadn’t been working on GATs for the past year or so, they would h

### safe transmute

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#expressiveness-initiatives--)

<!-- https://hackmd.io/@rust-compiler-team/HJ7Y3s7uq -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand Down Expand Up @@ -443,6 +463,8 @@ With the mentoring provided by @oli-obk and an influx of interest and help from

### Chalk

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#chalk)

<!-- https://hackmd.io/@rust-compiler-team/HyVh2sQdq -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand All @@ -467,6 +489,8 @@ We have completed some of our milestones.

### P-high Backlog Processing Aspirations (🦀)

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#p-high-aspirations-)

<!-- https://hackmd.io/@rust-compiler-team/SkS1psm_c -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand All @@ -490,6 +514,8 @@ We think a solution will be available in the next two years, but not sooner than

### Debugging Aspirations (👩‍💻)

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#debugging-aspirations-)

<!-- https://hackmd.io/@rust-compiler-team/SyM2poXu9 -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand Down Expand Up @@ -522,6 +548,8 @@ There isn't much focus happening here currently.

### Incremental Compilation Aspirations

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#incremental-compilation-aspirations)

<!-- https://hackmd.io/@rust-compiler-team/B1D7CiX_c -->

**Progress:**
Expand Down Expand Up @@ -563,6 +591,8 @@ This refactor allowed for faster progress in fixing a few old bugs.

### Inter-crate Sharing Aspirations

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#inter-crate-sharing-aspirations)

<!-- https://hackmd.io/zad1BjIoR8S4IfE49z-xYg -->
<!-- (no survey response as of 2022-07-19) -->

Expand All @@ -575,6 +605,8 @@ are hard to push forward right now due to lack of reviewing capacity.

### const generics and const eval

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#expressiveness-aspirations--)

<!-- https://hackmd.io/@rust-compiler-team/HktiComdq -->

**Progress:** The Rust project has made progress on this ambition since the start of the year.
Expand All @@ -595,6 +627,8 @@ are hard to push forward right now due to lack of reviewing capacity.

### MIR tooling (stable-mir and ghost-code)

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#mir-tooling)

<!-- https://hackmd.io/CWcHnbOWReSUyPv0ZDdWaw -->

**Progress:** The Rust project has made progress on this ambition since the start of the year, but we do not think this year’s planned goals for this ambition will be achieved in the next six months.
Expand All @@ -617,6 +651,8 @@ Work has not yet started but the we believe that we have a solution.

#### MCVE reduction tooling

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#mcve-reduction-tooling)

<!-- https://hackmd.io/@rust-compiler-team/r19rJhmu5 -->

**Progress:** The Rust project has not made any progress on this ambition since the start of the year
Expand All @@ -633,6 +669,8 @@ However, they have not dedicated any time to solving the problem.

#### Performance Dashboard

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#performance-dashboard)

<!-- https://hackmd.io/@rust-compiler-team/SyaDJ2X_5 -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand Down Expand Up @@ -664,6 +702,8 @@ We had long-standing debt on Crater and triagebot that needed to be addressed, a

#### Ease writing new backends via intrinsic MIR fallbacks

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#ease-writing-new-backends)

<!-- https://hackmd.io/@rust-compiler-team/HylMg2m_9 -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand All @@ -686,6 +726,8 @@ Mentoring instructions, or even steps with minimal details, might help non-exper

#### Cranelift

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#cranelift)

<!-- https://hackmd.io/@rust-compiler-team/BJLre2Xu9 -->

**Progress:** The Rust project has made progress on this ambition since the start of the year.
Expand All @@ -707,6 +749,8 @@ With the codegen phase of debug mode builds getting faster with cg_clif in most

#### GCC backend

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#gcc-backend)

<!-- https://hackmd.io/T03Nu92NSLeyyYnnW3XFyg -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand Down Expand Up @@ -739,6 +783,8 @@ When the GCC backend is good enough and when the Rust for Linux project is ready

### Diagnostics Aspirations (👩‍💻)

[Description from February](https://blog.rust-lang.org/inside-rust/2022/02/22/compiler-team-ambitions-2022.html#diagnostics-aspirations-)

<!-- https://hackmd.io/@rust-compiler-team/HJ_cgnXd5 -->

**Progress:** The Rust project has made progress on this ambition since the start of the year
Expand Down Expand Up @@ -802,3 +848,103 @@ capacity to address A after B has been addressed. But, since this is open
source, it's very much a matter of how much excitement each ambition can build up
around its particular project, and how attractive they can make contribution be
to newcomers.

## FAQ

#### How can I contact an item's owners or sponsor their work on Rust?

This table lists the item owners mentioned above, their [Zulip] username and if they are accepting sponsorships to help them work on Rust:

[Zulip]: https://rust-lang.zulipchat.com/

Owner | Zulip Username | Accepting sponsorships?
-|-|-
[Aaron Hill] | `@Aaron Hill` | No
[antoyo] | `@antoyo` | Yes: [GitHub Sponsors](https://github.com/sponsors/antoyo)
[apiraino] | `@apiraino` | No
[bjorn3] | `@bjorn3` | Yes: [Liberapay](https://liberapay.com/bjorn3)
[cjgillot] | `@cjgillot` | No
[davidtwco] | `@davidtwco` | No: works on Rust at Huawei R&D UK
[estebank] | `@Esteban Küber` | No: works on Rust at Amazon Web Services
[jackh726] | `@Jack Huey` | No
[jswrenn] | `@Jack Wrenn` | No: works on Rust at Amazon Web Services
[lcnr] | `@lcnr` | Yes: [https://lcnr.de/funding/](https://lcnr.de/funding/)
[lqd] | `@lqd` | No: sponsored by the Internet Security Research Group
[Mark-Simulacrum] | `@simulacrum` | No
[michaelwoerister] | `@mw` | No: works on Rust at Microsoft
[nikomatsakis] | `@nikomatsakis` | No: works on Rust at Amazon Web Services
[nnethercote] | `@nnethercote` | No: works on Rust at Futurewei
[oli-obk] | `@oli` | No: works on Rust at Amazon Web Services
[pnkfelix] | `@pnkfelix` | No: works on Rust at Amazon Web Services
[rylev] | `@rylev` | No: works on Rust at Microsoft
[scottmcm] | `@scottmcm` | No
[tmandry] | `@tmandry` | No: works on Rust at Google
[wesleywiser] | `@Wesley Wiser` | No: works on Rust at Microsoft
[xldenis] | `@Xavier Denis` | No

[antoyo]: https://github.com/antoyo
<!-- [antoyo zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/404242-user404242 --> <!-- @**antoyo** -->
<!-- antoyo sponsorship: https://github.com/sponsors/antoyo -->
[Aaron Hill]: https://github.com/Aaron1011
<!-- [Aaron Hill zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/116083-user116083 --> <!-- @**Aaron Hill** -->
<!-- Aaron1011: no affiliation -->
[bjorn3]: https://github.com/bjorn3
<!-- [bjorn3 zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/133247-user133247 --> <!-- @**bjorn3** -->
<!-- bjorn3 donation page: https://liberapay.com/bjorn3 -->
[cjgillot]: https://github.com/cjgillot
<!-- [cjgillot zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/248906-user248906 --> <!-- @**cjgillot** -->
<!-- no response from cjgillot re affiliation yet -->
[davidtwco]: https://github.com/davidtwco
<!-- [davidtwco zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/248906-user248906 --> <!-- @**davidtwco** -->
<!-- davidtwco affiliation: "Huawei R&D UK"-->
[estebank]: https://github.com/estebank
<!-- [estebank zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/119031-user119031 --> <!-- @**Esteban Küber** -->
<!-- estebank affiliation: AWS -->
[lcnr]: https://github.com/lcnr
<!-- [lcnr zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/216206-user216206 --> <!-- @**lcnr** -->
<!-- lcnr sponsorship: https://lcnr.de/funding/ -->
[michaelwoerister]: https://github.com/michaelwoerister
<!-- [michaelwoerister zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/124287-user124287 --> <!-- @**mw** -->
<!-- michaelwoerister affiliation: MS -->
[nikomatsakis]: https://github.com/nikomatsakis
<!-- [nikomatsakis zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/116009-user116009 --> <!-- @**nikomatsakis** -->
<!-- nikomatsakis affiliation: AWS -->
[oli-obk]: https://github.com/oli-obk
<!-- [oli-obk zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/124288-user124288 --> <!-- @**oli** -->
<!-- oli affiliation: AWS -->
[jackh726]: https://github.com/jackh726
<!-- [jackh726 zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/232957-user232957 --> <!-- @**Jack Huey** -->
<!-- jackh726: no affiliation -->
[lqd]: https://github.com/lqd
<!-- [lqd zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/116113-user116113 --> <!-- @**lqd** -->
<!-- lqd affiliation: ISRG -->
[nnethercote]: https://github.com/nnethercote
<!-- [nnethercote zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/120989-user120989 --> <!-- @**nnethercote** -->
<!-- nnethercote affiliation: Futurewei -->
[tmandry]: https://github.com/tmandry
<!-- [tmandry zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/116883-user116883 --> <!-- @**tmandry** -->
<!-- tmandry affiliation: Google (TBD) -->
[scottmcm]: https://github.com/scottmcm
<!-- [scottmcm zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/125270-user125270 --> <!-- @**scottmcm** -->
<!-- scottmcm: no affiliation -->
[pnkfelix]: https://github.com/pnkfelix
<!-- [pnkfelix zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/116083-user116083 --> <!-- @**pnkfelix** -->
<!-- pnkfelix affiliation: AWS -->
[wesleywiser]: https://github.com/wesleywiser
<!-- [wesleywiser zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/125250-user125250 --> <!-- @**Wesley Wiser** -->
<!-- wesleywiser affiliation: MS -->
[jswrenn]: https://github.com/jswrenn
<!-- [jswrenn zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/219211-user219211 --> <!-- @**Jack Wrenn** -->
<!-- jswrenn affiliation: AWS -->
[apiraino]: https://github.com/apiraino
<!-- [apiraino zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/250987-user250987 --> <!-- @**apiraino** -->
<!-- apiraino: no affiliation -->
[Mark-Simulacrum]: https://github.com/Mark-Simulacrum
<!-- [simulacrum zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/116122-user116122 --> <!-- @**simulacrum** -->
<!-- simulacrum sponsorship: https://github.com/sponsors/Mark-Simulacrum -->
[rylev]: https://github.com/rylev
<!-- [rylev zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/224872-user224872 --> <!-- @**rylev** -->
<!-- rylev affiliation: MS -->
[xldenis]: https://github.com/xldenis
<!-- [xldenis zulip PM]: https://rust-lang.zulipchat.com/#narrow/pm-with/312719-user312719 --> <!-- @**Xavier Denis** -->