yvt · June 8, 2020 10:46
diff --git a/extract.sh b/extract.sh
 #!/bin/sh
 # Because Gist doesn't support subdirectories...

 mkdir -p lib1/src
 mkdir -p lib2/src

 mv lib1-src-lib.rs lib1/src/lib.rs
 mv lib1-Cargo.toml lib1/Cargo.toml
 mv lib2-src-lib.rs lib2/src/lib.rs
 mv lib2-Cargo.toml lib2/Cargo.toml
diff --git a/lib1-Cargo.toml b/lib1-Cargo.toml
 [package]
 name = "lib1"
 version = "0.1.0"
 edition = "2018"

 [dependencies]
 lib2 = { path = "../lib2" }
diff --git a/lib1-src-lib.rs b/lib1-src-lib.rs
 fn unused_function(_: <lib2::GenericType<42> as lib2::TypeFn>::Output) {}
diff --git a/lib2-Cargo.toml b/lib2-Cargo.toml
 [package]
 name = "lib2"
 version = "0.1.0"
 edition = "2018"
diff --git a/lib2-src-lib.rs b/lib2-src-lib.rs
 #![feature(const_generics)]

 pub trait TypeFn {
    type Output;
 }

 pub struct GenericType<const B: i8>;

 // Removing braces around `42` resolves the crash
 impl TypeFn for GenericType<{ 42 }> {
    type Output = ();
 }
	#!/bin/sh
	# Because Gist doesn't support subdirectories...

	mkdir -p lib1/src
	mkdir -p lib2/src

	mv lib1-src-lib.rs lib1/src/lib.rs
	mv lib1-Cargo.toml lib1/Cargo.toml
	mv lib2-src-lib.rs lib2/src/lib.rs
	mv lib2-Cargo.toml lib2/Cargo.toml
	#![feature(const_generics)]

	pub trait TypeFn {
	type Output;
	}

	pub struct GenericType<const B: i8>;

	// Removing braces around `42` resolves the crash
	impl TypeFn for GenericType<{ 42 }> {
	type Output = ();
	}