Merge pull request #711 from rust-lang/add-tcompiler-notes

Add T-compiler meeting notes 12/23
rust-lang · Jan 9, 2024 · 8477ccc · 8477ccc
2 parents 14e8ee1 + 9fbe2c1
commit 8477ccc
Show file tree

Hide file tree

Showing 7 changed files with 1,405 additions and 17 deletions.
diff --git a/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-11-09.md b/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-11-09.md
@@ -407,7 +407,6 @@ Add all RPITITs when augmenting param-env with GAT bounds in `check_type_bounds`
 
 ## Next week's WG checkins
 
-- @*WG-X* checkin by @**person1**
-- @*WG-X* checkin by @**person2**
+TODO
 
-Next meetings' agenda draft: [hackmd link](#)
+Next meetings' agenda draft: [hackmd link](hackmd.io/0GmbMjmTSDO5dXpIjsXmng)
diff --git a/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-11-16.md b/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-11-16.md
@@ -255,4 +255,4 @@ Rollup of 6 pull requests [#117769](https://github.com/rust-lang/rust/pull/11776
 - "Try to use approximate placeholder regions when outputting an AscribeUserType error in borrowck" [rust#116097](https://github.com/rust-lang/rust/pull/116097) (last review activity: about 52 days ago)
   - cc: @**wesley wiser**
 
-## Next triage meeting on <time:2023-11-30T16:00:00+01:00> 
+## Next triage meeting on <time:2023-11-30T16:00:00+01:00>
diff --git a/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-11-23.md b/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-11-23.md
diff --git a/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-12-07.md b/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-12-07.md
diff --git a/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-12-14.md b/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-12-14.md
diff --git a/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-12-21.md b/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-12-21.md
diff --git a/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-12-28.md b/content/minutes/triage-meeting/T-compiler Meeting Agenda 2023-12-28.md