mrp
repro
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | Cargo.toml | 6 | ||||
| -rw-r--r-- | rust-toolchain.toml | 2 | ||||
| -rw-r--r-- | src/lib.rs | 5 | ||||
| -rw-r--r-- | user/Cargo.toml | 7 | ||||
| -rw-r--r-- | user/src/main.rs | 3 |
6 files changed, 25 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..cdfbd12 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +rustc-ice* +Cargo.lock
\ No newline at end of file diff --git a/Cargo.toml b/Cargo.toml new file mode 100644 index 0000000..fe23452 --- /dev/null +++ b/Cargo.toml @@ -0,0 +1,6 @@ +[package] +name = "bar" +version = "0.1.0" +edition = "2021" + +[dependencies] diff --git a/rust-toolchain.toml b/rust-toolchain.toml new file mode 100644 index 0000000..5d56faf --- /dev/null +++ b/rust-toolchain.toml @@ -0,0 +1,2 @@ +[toolchain] +channel = "nightly" diff --git a/src/lib.rs b/src/lib.rs new file mode 100644 index 0000000..9a7a2ab --- /dev/null +++ b/src/lib.rs @@ -0,0 +1,5 @@ +#![allow(incomplete_features)] +#![feature(generic_const_exprs)] +pub fn pop<const N: usize>(_: [(); N]) -> [(); N - 1] { + panic!() +} diff --git a/user/Cargo.toml b/user/Cargo.toml new file mode 100644 index 0000000..15f324b --- /dev/null +++ b/user/Cargo.toml @@ -0,0 +1,7 @@ +[package] +name = "user" +version = "0.1.0" +edition = "2024" + +[dependencies] +bar = { path = "../" } diff --git a/user/src/main.rs b/user/src/main.rs new file mode 100644 index 0000000..7b5f5e3 --- /dev/null +++ b/user/src/main.rs @@ -0,0 +1,3 @@ +pub fn main() { + bar::pop([()]); +} |