From ec0d000ee2bf10f189d38e3639efbbbb20d1ca0a Mon Sep 17 00:00:00 2001 From: Miguel Ojeda Date: Fri, 20 Dec 2024 21:53:42 +0100 Subject: [PATCH] rfl: update subgoals Signed-off-by: Miguel Ojeda --- src/2025h1/rfl.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/2025h1/rfl.md b/src/2025h1/rfl.md index d9695eb3..cdb8c12d 100644 --- a/src/2025h1/rfl.md +++ b/src/2025h1/rfl.md @@ -73,8 +73,8 @@ Over the next six months our goal is to stabilize the major bits of tooling used * production sanitizer flags: `-Zsanitizer=shadow-call-stack`, `-Zsanitizer=kcfi`, `-Zsanitizer-cfi-normalize-integer`. * the ability to extract dependency info and to configure no-std without requiring it in the source file: * currently using `-Zbinary_dep_depinfo=y` and `-Zcrate-attr` -* stable rustdoc features allowing the RFL project to extract and customize rustdoc tests: -* clippy configuration (`.clippy.toml` in particular and `CLIPPY_CONF_DIR`); +* stable rustdoc features allowing the RFL project to extract and customize rustdoc tests (`--extract-doctests`); +* clippy configuration (possibly `.clippy.toml` and `CLIPPY_CONF_DIR`); * [a blessed way to rebuild std](./build-std.md): RFL needs a way to rebuild the standard library using stable calls to rustc. Currently building the standard library with rustc is not supported. This is a precursor to what is commonly called `-Zbuild-std`; it is also a blocker to making full use of API-modifying compiler flags and similar features, since they can't be used effectively unless the kernel is rebuilt. In addition, as follow-up from 2024H2, we wish to complete [arbitrary self types v2][astv2] stabilization.