|
| 1 | +--- |
| 2 | +tags: weekly, rustc |
| 3 | +type: docs |
| 4 | +--- |
| 5 | + |
| 6 | +# T-compiler Meeting Agenda 2023-08-03 |
| 7 | + |
| 8 | +## Announcements |
| 9 | + |
| 10 | +- Today release of rust stable 1.71.1 |
| 11 | +- [We're rolling the T-compiler leads!](https://blog.rust-lang.org/inside-rust/2023/08/02/rotating-compiler-leads.html). Congrats @**davidtwco** ! |
| 12 | +- @**apiraino** signal boot for Zulip topic at [#**t-compiler>Refreshing WG checkins in T-compiler triage meeting** ](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Refreshing.20WG.20checkins.20in.20T-compiler.20triage.20meeting) about refreshing the WG checkins rotation list, thanks! |
| 13 | +- Reminder: if you see a PR/issue that seems like there might be legal implications due to copyright/IP/etc, please let us know (or at least message @_**davidtwco** or @_**Wesley Wiser** so we can pass it along). |
| 14 | + |
| 15 | +### Other WG meetings ([calendar link](https://calendar.google.com/calendar/embed?src=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com)) |
| 16 | +- [Types team meeting](https://www.google.com/calendar/event?eid=MTg3MDhpdTc3YXBqMGMzbnNxanUwdWZnazhfMjAyMzA4MDdUMTQwMDAwWiA2dTVycnRjZTZscnR2MDdwZmkzZGFtZ2p1c0Bn) at <time:2023-08-07T10:00:00-04:00> |
| 17 | +- [[Types] Rotating new solver / formality / polonius deep dive](https://www.google.com/calendar/event?eid=N29vMXZqbGZ1MDIxbzllMDI3dGhocWhhZmNfMjAyMzA4MDdUMTUwMDAwWiA2dTVycnRjZTZscnR2MDdwZmkzZGFtZ2p1c0Bn) at <time:2023-08-07T11:00:00-04:00> |
| 18 | + |
| 19 | +## MCPs/FCPs |
| 20 | + |
| 21 | +- New MCPs (take a look, see if you like them!) |
| 22 | + - "Add `builtin:$path` option to the `-L` flag" [compiler_team#659](https://github.com/rust-lang/compiler-team/issues/659) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Add.20.60builtin.3A.24path.60.20option.20to.20the.20.60-L.60.20fl.E2.80.A6.20compiler-team.23659)) |
| 23 | +- Old MCPs (stale MCP might be closed as per [MCP procedure](https://forge.rust-lang.org/compiler/mcp.html#when-should-major-change-proposals-be-closed)) |
| 24 | + - None at this time |
| 25 | +- Old MCPs (not seconded, take a look) |
| 26 | + - "Cell Broadband Engine SPU support" [compiler_team#614](https://github.com/rust-lang/compiler-team/issues/614) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Cell.20Broadband.20Engine.20SPU.20support.20compiler-team.23614)) |
| 27 | + - "Add support for Zephyr OS" [compiler_team#629](https://github.com/rust-lang/compiler-team/issues/629) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Add.20support.20for.20Zephyr.20OS.20compiler-team.23629)) |
| 28 | + - "Consistently use \"region\" terminology in later stages of the compiler" [compiler_team#634](https://github.com/rust-lang/compiler-team/issues/634) [Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Consistently.20use.20.22region.22.20terminology.20in.20.E2.80.A6.20compiler-team.23634) |
| 29 | + - "Add a new `--build-id` flag to rustc" [compiler_team#635](https://github.com/rust-lang/compiler-team/issues/635) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Add.20a.20new.20.60--build-id.60.20flag.20to.20rustc.20compiler-team.23635)) |
| 30 | + - "Add support for visionOS targets" [compiler_team#642](https://github.com/rust-lang/compiler-team/issues/642) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Add.20support.20for.20visionOS.20targets.20compiler-team.23642)) |
| 31 | + - "Add illumos Tier3 targets" [compiler_team#644](https://github.com/rust-lang/compiler-team/issues/644) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Add.20illumos.20Tier3.20targets.20compiler-team.23644)) |
| 32 | + - "Migrate away from u32 as an offset/length type" [compiler_team#647](https://github.com/rust-lang/compiler-team/issues/647) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Migrate.20away.20from.20u32.20as.20an.20offset.2Flength.E2.80.A6.20compiler-team.23647)) |
| 33 | +- Pending FCP requests (check your boxes!) |
| 34 | + - "Retire the mailing list and make all decisions on zulip" [compiler_team#649](https://github.com/rust-lang/compiler-team/issues/649) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Retire.20the.20mailing.20list.20and.20make.20all.20deci.E2.80.A6.20compiler-team.23649)) |
| 35 | + - "Support overriding `warnings` level for a specific lint via command line" [rust#113307](https://github.com/rust-lang/rust/pull/113307) |
| 36 | + - "Stabilize `PATH` option for `--print KIND=PATH`" [rust#114183](https://github.com/rust-lang/rust/pull/114183) |
| 37 | +- Things in FCP (make sure you're good with it) |
| 38 | + - "Revise error code documentation standard" [compiler_team#615](https://github.com/rust-lang/compiler-team/issues/615) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Revise.20error.20code.20documentation.20standard.20compiler-team.23615)) |
| 39 | + - "Add a blanket flag to enable/disable codegen UB checks" [compiler_team#625](https://github.com/rust-lang/compiler-team/issues/625) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Add.20a.20blanket.20flag.20to.20enable.2Fdisable.20code.E2.80.A6.20compiler-team.23625)) |
| 40 | + - "Report all lints, even if other errors already occurred." [compiler_team#633](https://github.com/rust-lang/compiler-team/issues/633) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Report.20all.20lints.2C.20even.20if.20other.20errors.20al.E2.80.A6.20compiler-team.23633)) |
| 41 | + - "[MCP] proposing a macros working group" [compiler_team#637](https://github.com/rust-lang/compiler-team/issues/637) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/.5BMCP.5D.20proposing.20a.20macros.20woriking.20group.20compiler-team.23637)) |
| 42 | + - "Disallow non-identifier-valid --extern crate names " [compiler_team#650](https://github.com/rust-lang/compiler-team/issues/650) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Disallow.20non-identifier-valid.20--extern.20cr.E2.80.A6.20compiler-team.23650)) |
| 43 | + - "Windows support schedule 2024" [compiler_team#651](https://github.com/rust-lang/compiler-team/issues/651) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Windows.20support.20schedule.202024.20compiler-team.23651)) |
| 44 | + - "New tier-3 targets for TEEOS" [compiler_team#652](https://github.com/rust-lang/compiler-team/issues/652) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/New.20tier-3.20targets.20for.20TEEOS.20compiler-team.23652)) |
| 45 | + - "Add option to pass environment variables" [compiler_team#653](https://github.com/rust-lang/compiler-team/issues/653) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Add.20option.20to.20pass.20environment.20variables.20compiler-team.23653)) |
| 46 | + - "Expose default_hidden_visibility as a rustc command line option" [compiler_team#656](https://github.com/rust-lang/compiler-team/issues/656) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Expose.20default_hidden_visibility.20as.20a.20rus.E2.80.A6.20compiler-team.23656)) |
| 47 | + - "Add tidy rule against `issue-[0-9]+.rs` tests" [compiler_team#658](https://github.com/rust-lang/compiler-team/issues/658) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Add.20tidy.20rule.20against.20.60issue-.5B0-9.5D.2B.2Ers.60.20t.E2.80.A6.20compiler-team.23658)) |
| 48 | +- Accepted MCPs |
| 49 | + - "Use `FieldIdx` all the way down" [compiler_team#639](https://github.com/rust-lang/compiler-team/issues/639) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Use.20.60FieldIdx.60.20all.20the.20way.20down.20compiler-team.23639)) |
| 50 | + - "Add support for the riscv64-linux-android target" [compiler_team#640](https://github.com/rust-lang/compiler-team/issues/640) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Add.20support.20for.20the.20riscv64-linux-android.E2.80.A6.20compiler-team.23640)) |
| 51 | + - "Implement alignment and size niches for references" [compiler_team#641](https://github.com/rust-lang/compiler-team/issues/641) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Implement.20alignment.20and.20size.20niches.20for.20r.E2.80.A6.20compiler-team.23641)) |
| 52 | + - "Changes to StatementKind::Coverage" [compiler_team#645](https://github.com/rust-lang/compiler-team/issues/645) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Changes.20to.20StatementKind.3A.3ACoverage.20compiler-team.23645)) |
| 53 | + - "KRabcake SANitization (KRSAN) mode" [compiler_team#646](https://github.com/rust-lang/compiler-team/issues/646) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Krabcake.20SANitization.20.28KSAN.29.20mode.20compiler-team.23646)) |
| 54 | + - "Drop MIPS to tier 3" [compiler_team#648](https://github.com/rust-lang/compiler-team/issues/648) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Drop.20MIPS.20to.20tier.203.20compiler-team.23648)) |
| 55 | + - "Amend target policy to require codegen support" [compiler_team#655](https://github.com/rust-lang/compiler-team/issues/655) ([Zulip](https://rust-lang.zulipchat.com/#narrow/stream/233931-xxx/topic/Amend.20target.20policy.20to.20require.20codegen.20su.E2.80.A6.20compiler-team.23655)) |
| 56 | +- Finalized FCPs (disposition merge) |
| 57 | + - "Add documentation on v0 symbol mangling." [rust#97571](https://github.com/rust-lang/rust/pull/97571) |
| 58 | + - "make `noop_method_call` warn by default" [rust#111916](https://github.com/rust-lang/rust/pull/111916) |
| 59 | + - "Support interpolated block for `try` and `async`" [rust#112953](https://github.com/rust-lang/rust/pull/112953) |
| 60 | + - "Infer type in irrefutable slice patterns with fixed length as array " [rust#113199](https://github.com/rust-lang/rust/pull/113199) |
| 61 | + - "discard default auto trait impls if explicit ones exist (rebase of #85048)" [rust#113312](https://github.com/rust-lang/rust/pull/113312) |
| 62 | + |
| 63 | +### WG checkins |
| 64 | + |
| 65 | +- @_*WG-rls2.0* by @**Lukas Wirth** ([previous checkin](https://hackmd.io/XBOdBRLXR7qFfq526W7gXg#WG-checkins)) |
| 66 | + > Nothing to report |
| 67 | +
|
| 68 | +- @_*WG-self-profile* by @**mw** and @**Wesley Wiser** ([previous checkin](https://hackmd.io/pdK-8nD2TySu6dw2N7cbgw#WG-checkins)) |
| 69 | + > Checkin text |
| 70 | +
|
| 71 | +## Backport nominations |
| 72 | + |
| 73 | +[T-compiler stable](https://github.com/rust-lang/rust/issues?q=is%3Aall+label%3Abeta-nominated+-label%3Abeta-accepted+label%3AT-compiler) / [T-compiler beta](https://github.com/rust-lang/rust/issues?q=is%3Aall+label%3Astable-nominated+-label%3Astable-accepted+label%3AT-compiler) |
| 74 | +- :beta: [1.72.0] "Rename and allow `cast_ref_to_mut` lint" [rust#113422](https://github.com/rust-lang/rust/pull/113422) |
| 75 | + - Part of the work on #111567 (uplifting the `clippy::cast_ref_to_mut` lint into rustc, [comment](https://github.com/rust-lang/rust/pull/111567#issue-1709013194)) |
| 76 | + - Renames the lint `cast_ref_to_mut` -> `invalid_reference_casting` |
| 77 | + - Temporarily change the default from `deny-by-default` to `allow-by-default` until #112431 is merged |
| 78 | + - `I-lang-nominated` and a T-lang discussion seems to not have happened but @**scottmcm** agrees ([comment](https://github.com/rust-lang/rust/pull/113422#issuecomment-1635271973)) |
| 79 | + - Nominated by @**nils (Nilstrieb)** ([comment](https://github.com/rust-lang/rust/pull/113422#issuecomment-1655678962)) |
| 80 | +<!-- |
| 81 | +/poll Approve beta backport of #113422? |
| 82 | +approve |
| 83 | +decline |
| 84 | +don't know |
| 85 | +--> |
| 86 | +- No stable nominations for `T-compiler` this time. |
| 87 | + |
| 88 | +## PRs S-waiting-on-team |
| 89 | + |
| 90 | +[T-compiler](https://github.com/rust-lang/rust/pulls?q=is%3Aopen+label%3AS-waiting-on-team+label%3AT-compiler) |
| 91 | +- Other issues [in progress or waiting on other teams](https://hackmd.io/XYr1BrOWSiqCrl8RCWXRaQ) |
| 92 | + |
| 93 | +## Issues of Note |
| 94 | + |
| 95 | +### Short Summary |
| 96 | + |
| 97 | +- [0 T-compiler P-critical issues](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AT-compiler+label%3AP-critical) |
| 98 | + - [0 of those are unassigned](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AT-compiler+label%3AP-critical+no%3Aassignee) |
| 99 | +- [54 T-compiler P-high issues](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AT-compiler+label%3AP-high) |
| 100 | + - [26 of those are unassigned](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AT-compiler+label%3AP-high+no%3Aassignee) |
| 101 | +- [0 P-critical, 1 P-high, 3 P-medium, 1 P-low regression-from-stable-to-beta](https://github.com/rust-lang/rust/labels/regression-from-stable-to-beta) |
| 102 | +- [0 P-critical, 0 P-high, 3 P-medium, 2 P-low regression-from-stable-to-nightly](https://github.com/rust-lang/rust/labels/regression-from-stable-to-nightly) |
| 103 | +- [0 P-critical, 34 P-high, 100 P-medium, 18 P-low regression-from-stable-to-stable](https://github.com/rust-lang/rust/labels/regression-from-stable-to-stable) |
| 104 | + |
| 105 | +### P-critical |
| 106 | + |
| 107 | +[T-compiler](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AP-critical+label%3AT-compiler) |
| 108 | +- No `P-critical` issues for `T-compiler` this time. |
| 109 | + |
| 110 | +[T-types](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AP-critical+label%3AT-types) |
| 111 | +- No `P-critical` issues for `T-types` this time. |
| 112 | + |
| 113 | +[T-rustdoc](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AP-critical+label%3AT-rustdoc) |
| 114 | +- No `P-critical` issues for `T-rustdoc` this time. |
| 115 | + |
| 116 | +### P-high regressions |
| 117 | + |
| 118 | +[P-high beta regressions](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3Aregression-from-stable-to-beta+label%3AP-high+-label%3AT-infra+-label%3AT-libs+-label%3AT-libs-api+-label%3AT-release+-label%3AT-rustdoc+-label%3AT-core) |
| 119 | +- "the trait bound `&[u8]: std::convert::From<&[_; 0]>` is not satisfied" [rust#113238](https://github.com/rust-lang/rust/issues/113238) |
| 120 | + - _probably_ `P-high`, the beta regression breaks a few crates |
| 121 | + - root cause seems to be #106704. As a temporary hotfix to avoid this hitting stable, downgraded the crate `addr2line` in the `std` ([comment](https://github.com/rust-lang/rust/issues/113238#issuecomment-1627338024)) in [1dcfc26](https://github.com/rust-lang/rust/commit/1dcfc263f3a5520bfaa3ca57a730afed692ad051). A durable solution needs to be implemented ([comment](https://github.com/rust-lang/rust/issues/113238#issuecomment-1616744484)) |
| 122 | + |
| 123 | +[Unassigned P-high nightly regressions](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3Aregression-from-stable-to-nightly+label%3AP-high+no%3Aassignee+-label%3AT-infra+-label%3AT-libs+-label%3AT-libs-api+-label%3AT-release+-label%3AT-rustdoc+-label%3AT-core+) |
| 124 | +- No unassigned `P-high` nightly regressions this time. |
| 125 | + |
| 126 | +## Performance logs |
| 127 | + |
| 128 | +N/A this week |
| 129 | + |
| 130 | +## Nominated Issues |
| 131 | + |
| 132 | +[T-compiler](https://github.com/rust-lang/rust/issues?q=is%3Aopen+label%3AI-compiler-nominated) |
| 133 | +- "MSVC and rustc disagree on minimum stack alignment on x86 Windows" [rust#112480](https://github.com/rust-lang/rust/issues/112480) |
| 134 | + - Discussed in the past meetings ([here](https://rust-lang.zulipchat.com/#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bweekly.5D.202023-07-13/near/374961199) and [here](https://rust-lang.zulipchat.com/#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bweekly.5D.202023-07-20/near/377002646)), left nominated for further discussion (maybe in a separate session) |
| 135 | +- ""Legacy" tier 2 targets have misplaced or absent maintainer docs" [rust#113739](https://github.com/rust-lang/rust/issues/113739) |
| 136 | + - Discussed in the past meeting ([here](https://rust-lang.zulipchat.com/#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bweekly.5D.202023-07-20/near/377013350)), left nominated for further discussion (maybe in a separate session) |
| 137 | + |
| 138 | +[RFC](https://github.com/rust-lang/rfcs/issues?q=is%3Aopen+label%3AI-compiler-nominated) |
| 139 | +- No I-compiler-nominated RFCs this time. |
| 140 | + |
| 141 | +### Oldest PRs waiting for review |
| 142 | + |
| 143 | +[T-compiler](https://github.com/rust-lang/rust/pulls?q=is%3Apr+is%3Aopen+sort%3Aupdated-asc+label%3AS-waiting-on-review+draft%3Afalse+label%3AT-compiler) |
| 144 | +- "Tait must be constrained if in sig" [rust#113169](https://github.com/rust-lang/rust/pull/113169) (last review activity: about 27 days ago) |
| 145 | + - cc @**oli** (appointed as self reviewer) |
| 146 | +- "Report allocation errors as panics, second attempt" [rust#112331](https://github.com/rust-lang/rust/pull/112331) (last review activity: about 26 days ago) |
| 147 | + - cc: @**bjorn3** (T-libs also in the review loop) |
| 148 | +- "riscv: Make ELF flags RVE-aware" [rust#112567](https://github.com/rust-lang/rust/pull/112567) |
| 149 | + - @**Nikita Popov** can you have a look when you have a sec.? |
| 150 | +- "Add `Future::map`"[rust#111347](https://github.com/rust-lang/rust/pull/111347) |
| 151 | + - `I-async-nominated`: anyone from the WG here with news? |
| 152 | + |
| 153 | +## Next week's WG checkins |
| 154 | + |
| 155 | +- @_*WG-async-foundations* by @**nikomatsakis** and @**tmandry** |
| 156 | +- Generic Associated Types initiative by @**Jack Huey** |
| 157 | + |
| 158 | +Next meetings' agenda draft: https://hackmd.io/wkRqXjx5RGGJlHIBuCyEwQ |
0 commit comments