Merge branch '🦆' into ⬆️-nightly-2022-06-01

Author: yvt

.github/scripts/install-deno.sh

@@ -3,7 +3,7 @@
 # Installs a binary distribution of Deno. (The Snapcraft version of Deno seems
 # unable to locate `cargo`.)
 
-version=1.17.1
+version=1.22.3
 wget https://github.com/denoland/deno/releases/download/v${version}/deno-x86_64-unknown-linux-gnu.zip
 unzip deno-x86_64-unknown-linux-gnu.zip
 chmod +x deno

.github/workflows/ci.yml

@@ -63,7 +63,9 @@ jobs:
         run: sudo snap install deno
 
       - name: Check crate metadata
-        run: deno run --allow-read scripts/check-workspace.ts
+        run: |
+          deno --version
+          deno run --allow-read scripts/check-workspace.ts
 
   # Build examples
   build-examples:
@@ -154,6 +156,13 @@ jobs:
           args: --workspace -- ${{ env.testflags }}
         env:
           RUST_LOG: debug
+      - name: Test (-p r3_port_std --benches)
+        uses: actions-rs/cargo@v1
+        with:
+          command: test
+          args: -p r3_port_std --benches -- ${{ env.testflags }}
+        env:
+          RUST_LOG: debug
 
   # Run tests on the host system with a subset of optional features enabled
   test-hosted-subset:

.github/workflows/doc.yml

@@ -31,7 +31,9 @@ jobs:
           args: -p r3_port_std -p r3_port_arm -p r3_port_arm_m -p r3_port_riscv -p r3_support_rp2040 -p r3_support_rza1 -p r3_portkit -p r3_kernel -p r3 -p r3_core --all-features
 
       - name: Redirect non-local crate documentation to docs.rs
-        run: deno run -A scripts/externalize-non-local-docs.ts -y
+        run: |
+          deno --version
+          deno run -A scripts/externalize-non-local-docs.ts -y
 
       - name: Check output
         run: |

.github/workflows/report-size.yml

@@ -60,6 +60,7 @@ jobs:
 
       - name: Generate a size report
         run: |
+          deno --version
           deno run -A scripts/report-size.ts -- --target ${{ matrix.runner_target }} ${{ matrix.runner_args }} -- -basepri > size-report.md
 
       - name: Publish the report as a check run

Cargo.lock

@@ -38,29 +38,6 @@ impl<T> StGeneric<for<'a> fn(&'a T)> {
 ```
 
 
-### `[tag:trait_constraints_on_associated_types_do_not_propagate]` Trait constraints on associated types do not propagate to the trait's use sites
-
-*Upstream issue:* [rust-lang/rust#32722](https://github.com/rust-lang/rust/issues/32722)
-
-According to [this comment](https://github.com/rust-lang/rust/issues/32722#issuecomment-618044689), this is a symptom of [rust-lang/rust#20671](https://github.com/rust-lang/rust/issues/20671).
-
-```rust,compile_fail,E0277
-trait KernelMutex {}
-
-trait CfgBase {
-    type System;
-}
-
-trait CfgMutex: CfgBase
-where
-    Self::System: KernelMutex,
-{}
-
-// error[E0277]: the trait bound `<C as CfgBase>::System: KernelMutex` is not satisfied
-fn foo<C: CfgMutex>() {}
-```
-
-
 ### `[tag:impl_trait_false_type_alias_bounds]` `type_alias_bounds` misfires when `impl Trait` is used in a portion of a type alias
 
 *Upstream issue:* [rust-lang/rust#94395](https://github.com/rust-lang/rust/issues/94395)

doc/toolchain_limitations.md

@@ -1,4 +1,5 @@
 #![feature(const_refs_to_cell)]
+#![feature(generic_arg_infer)]
 #![feature(const_trait_impl)]
 #![feature(naked_functions)]
 #![feature(const_mut_refs)]
@@ -558,7 +559,7 @@ const USB_BUF_CAP: usize = 64;
 /// The queue through which received data is passed from `poll_usb` to
 /// `usb_in_task_body`
 static USB_BUF_IN: PrimaskMutex<RefCell<([u8; USB_BUF_CAP], usize)>> =
-    PrimaskMutex::new(RefCell::new(([0; USB_BUF_CAP], 0)));
+    PrimaskMutex::new(RefCell::new(([0; _], 0)));
 
 /// USB interrupt handler
 fn poll_usb() {
@@ -705,7 +706,7 @@ mod queue {
             Self {
                 st: StaticMutex::define()
                     .init(|| QueueSt {
-                        buf: [T::INIT; CAP],
+                        buf: [T::INIT; _],
                         read_i: 0,
                         len: 0,
                         waiting_reader: None,

examples/basic_wio_terminal/src/main.rs

@@ -100,11 +100,11 @@ static CORE1_VECTOR_TABLE: VectorTable<[unsafe extern "C" fn(); 48]> = {
         fn _core1_stack_start();
     }
 
-    let mut table = [unhandled as _; 48];
+    let mut table = [unhandled as _; _];
 
     let mut i = 0;
     let kernel_handler_table = <SystemTraits as r3_kernel::KernelCfg2>::INTERRUPT_HANDLERS;
-    while i < 48 {
+    while i < table.len() {
         if let Some(handler) = kernel_handler_table.get(i) {
             table[i] = handler;
         }

examples/smp_rp_pico/src/core1.rs

@@ -1,4 +1,5 @@
 #![feature(const_refs_to_cell)]
+#![feature(generic_arg_infer)]
 #![feature(const_trait_impl)]
 #![feature(naked_functions)]
 #![feature(const_mut_refs)]

examples/smp_rp_pico/src/main.rs

@@ -3,10 +3,10 @@
 // [Deno]: https://deno.land/
 //
 // Usage: deno run --allow-read scripts/check-workspace.ts
-import { parse as parseFlags } from "https://deno.land/std@0.125.0/flags/mod.ts";
-import { walk } from "https://deno.land/std@0.125.0/fs/mod.ts";
-import * as path from "https://deno.land/std@0.125.0/path/mod.ts";
-import * as log from "https://deno.land/std@0.125.0/log/mod.ts";
+import { parse as parseFlags } from "https://deno.land/std@0.143.0/flags/mod.ts";
+import { walk } from "https://deno.land/std@0.143.0/fs/mod.ts";
+import * as path from "https://deno.land/std@0.143.0/path/mod.ts";
+import * as log from "https://deno.land/std@0.143.0/log/mod.ts";
 
 const parsedArgs = parseFlags(Deno.args, {
     "alias": {