Add type-system-chess to stress trait resolution.

collector/compile-benchmarks/type-system-chess/Cargo.toml

@@ -0,0 +1,11 @@
+[package]
+name = "rust"
+version = "0.1.0"
+edition = "2021"
+license = "MIT"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+
+[workspace]

collector/compile-benchmarks/type-system-chess/perf-config.json

@@ -0,0 +1,5 @@
+{
+    "category": "secondary",
+    "artifact": "library",
+    "excluded_profiles": ["Debug", "Opt", "Doc"]
+}

collector/compile-benchmarks/type-system-chess/src/board_rep.rs

@@ -0,0 +1,4 @@
+pub mod board;
+pub mod color;
+pub mod piece;
+pub mod square;

collector/compile-benchmarks/type-system-chess/src/board_rep/board.rs

@@ -0,0 +1,93 @@
+use super::piece::ColoredPieceTy;
+use crate::values;
+use std::marker::PhantomData;
+
+pub mod idx;
+pub mod write;
+
+pub(crate) trait CellEn {
+    fn reify() -> values::Cell;
+}
+pub(crate) struct Empty;
+pub(crate) struct Filled<P: ColoredPieceTy>(PhantomData<P>);
+
+impl CellEn for Empty {
+    fn reify() -> values::Cell {
+        values::Cell::Empty
+    }
+}
+impl<P: ColoredPieceTy> CellEn for Filled<P> {
+    fn reify() -> values::Cell {
+        values::Cell::Filled(P::reify())
+    }
+}
+
+pub(crate) trait BoardRankTy {
+    fn reify() -> values::BoardRank;
+}
+pub(crate) struct BoardRank<
+    A: CellEn,
+    B: CellEn,
+    C: CellEn,
+    D: CellEn,
+    E: CellEn,
+    F: CellEn,
+    G: CellEn,
+    H: CellEn,
+>(PhantomData<(A, B, C, D, E, F, G, H)>);
+
+impl<A: CellEn, B: CellEn, C: CellEn, D: CellEn, E: CellEn, F: CellEn, G: CellEn, H: CellEn>
+    BoardRankTy for BoardRank<A, B, C, D, E, F, G, H>
+{
+    fn reify() -> values::BoardRank {
+        values::BoardRank {
+            a: A::reify(),
+            b: B::reify(),
+            c: C::reify(),
+            d: D::reify(),
+            e: E::reify(),
+            f: F::reify(),
+            g: G::reify(),
+            h: H::reify(),
+        }
+    }
+}
+
+pub(crate) trait BoardTy {
+    fn reify() -> values::Board;
+}
+pub(crate) struct Board<
+    R1: BoardRankTy,
+    R2: BoardRankTy,
+    R3: BoardRankTy,
+    R4: BoardRankTy,
+    R5: BoardRankTy,
+    R6: BoardRankTy,
+    R7: BoardRankTy,
+    R8: BoardRankTy,
+>(PhantomData<(R1, R2, R3, R4, R5, R6, R7, R8)>);
+
+impl<
+        R1: BoardRankTy,
+        R2: BoardRankTy,
+        R3: BoardRankTy,
+        R4: BoardRankTy,
+        R5: BoardRankTy,
+        R6: BoardRankTy,
+        R7: BoardRankTy,
+        R8: BoardRankTy,
+    > BoardTy for Board<R1, R2, R3, R4, R5, R6, R7, R8>
+{
+    fn reify() -> values::Board {
+        values::Board {
+            r1: R1::reify(),
+            r2: R2::reify(),
+            r3: R3::reify(),
+            r4: R4::reify(),
+            r5: R5::reify(),
+            r6: R6::reify(),
+            r7: R7::reify(),
+            r8: R8::reify(),
+        }
+    }
+}

collector/compile-benchmarks/type-system-chess/src/board_rep/board/idx.rs

@@ -0,0 +1,175 @@
+use super::{Board, BoardRank, BoardRankTy, BoardTy, CellEn};
+use crate::board_rep::square::{
+    file::{self, FileEn},
+    rank::{self, RankEn},
+    Square, SquareTy,
+};
+
+pub(crate) trait RunIdxRank<With> {
+    type Output: CellEn;
+}
+pub(crate) type IdxRank<B, F> = <B as RunIdxRank<F>>::Output;
+
+impl<A: CellEn, B: CellEn, C: CellEn, D: CellEn, E: CellEn, F: CellEn, G: CellEn, H: CellEn>
+    RunIdxRank<file::FA> for BoardRank<A, B, C, D, E, F, G, H>
+{
+    type Output = A;
+}
+impl<A: CellEn, B: CellEn, C: CellEn, D: CellEn, E: CellEn, F: CellEn, G: CellEn, H: CellEn>
+    RunIdxRank<file::FB> for BoardRank<A, B, C, D, E, F, G, H>
+{
+    type Output = B;
+}
+impl<A: CellEn, B: CellEn, C: CellEn, D: CellEn, E: CellEn, F: CellEn, G: CellEn, H: CellEn>
+    RunIdxRank<file::FC> for BoardRank<A, B, C, D, E, F, G, H>
+{
+    type Output = C;
+}
+impl<A: CellEn, B: CellEn, C: CellEn, D: CellEn, E: CellEn, F: CellEn, G: CellEn, H: CellEn>
+    RunIdxRank<file::FD> for BoardRank<A, B, C, D, E, F, G, H>
+{
+    type Output = D;
+}
+impl<A: CellEn, B: CellEn, C: CellEn, D: CellEn, E: CellEn, F: CellEn, G: CellEn, H: CellEn>
+    RunIdxRank<file::FE> for BoardRank<A, B, C, D, E, F, G, H>
+{
+    type Output = E;
+}
+impl<A: CellEn, B: CellEn, C: CellEn, D: CellEn, E: CellEn, F: CellEn, G: CellEn, H: CellEn>
+    RunIdxRank<file::FF> for BoardRank<A, B, C, D, E, F, G, H>
+{
+    type Output = F;
+}
+impl<A: CellEn, B: CellEn, C: CellEn, D: CellEn, E: CellEn, F: CellEn, G: CellEn, H: CellEn>
+    RunIdxRank<file::FG> for BoardRank<A, B, C, D, E, F, G, H>
+{
+    type Output = G;
+}
+impl<A: CellEn, B: CellEn, C: CellEn, D: CellEn, E: CellEn, F: CellEn, G: CellEn, H: CellEn>
+    RunIdxRank<file::FH> for BoardRank<A, B, C, D, E, F, G, H>
+{
+    type Output = H;
+}
+
+pub(crate) trait RunIdxBoardRank<With> {
+    type Output: BoardRankTy;
+}
+pub(crate) type IdxBoardRank<B, R> = <B as RunIdxBoardRank<R>>::Output;
+
+impl<
+        R1: BoardRankTy,
+        R2: BoardRankTy,
+        R3: BoardRankTy,
+        R4: BoardRankTy,
+        R5: BoardRankTy,
+        R6: BoardRankTy,
+        R7: BoardRankTy,
+        R8: BoardRankTy,
+    > RunIdxBoardRank<rank::R1> for Board<R1, R2, R3, R4, R5, R6, R7, R8>
+{
+    type Output = R1;
+}
+impl<
+        R1: BoardRankTy,
+        R2: BoardRankTy,
+        R3: BoardRankTy,
+        R4: BoardRankTy,
+        R5: BoardRankTy,
+        R6: BoardRankTy,
+        R7: BoardRankTy,
+        R8: BoardRankTy,
+    > RunIdxBoardRank<rank::R2> for Board<R1, R2, R3, R4, R5, R6, R7, R8>
+{
+    type Output = R2;
+}
+impl<
+        R1: BoardRankTy,
+        R2: BoardRankTy,
+        R3: BoardRankTy,
+        R4: BoardRankTy,
+        R5: BoardRankTy,
+        R6: BoardRankTy,
+        R7: BoardRankTy,
+        R8: BoardRankTy,
+    > RunIdxBoardRank<rank::R3> for Board<R1, R2, R3, R4, R5, R6, R7, R8>
+{
+    type Output = R3;
+}
+impl<
+        R1: BoardRankTy,
+        R2: BoardRankTy,
+        R3: BoardRankTy,
+        R4: BoardRankTy,
+        R5: BoardRankTy,
+        R6: BoardRankTy,
+        R7: BoardRankTy,
+        R8: BoardRankTy,
+    > RunIdxBoardRank<rank::R4> for Board<R1, R2, R3, R4, R5, R6, R7, R8>
+{
+    type Output = R4;
+}
+impl<
+        R1: BoardRankTy,
+        R2: BoardRankTy,
+        R3: BoardRankTy,
+        R4: BoardRankTy,
+        R5: BoardRankTy,
+        R6: BoardRankTy,
+        R7: BoardRankTy,
+        R8: BoardRankTy,
+    > RunIdxBoardRank<rank::R5> for Board<R1, R2, R3, R4, R5, R6, R7, R8>
+{
+    type Output = R5;
+}
+impl<
+        R1: BoardRankTy,
+        R2: BoardRankTy,
+        R3: BoardRankTy,
+        R4: BoardRankTy,
+        R5: BoardRankTy,
+        R6: BoardRankTy,
+        R7: BoardRankTy,
+        R8: BoardRankTy,
+    > RunIdxBoardRank<rank::R6> for Board<R1, R2, R3, R4, R5, R6, R7, R8>
+{
+    type Output = R6;
+}
+impl<
+        R1: BoardRankTy,
+        R2: BoardRankTy,
+        R3: BoardRankTy,
+        R4: BoardRankTy,
+        R5: BoardRankTy,
+        R6: BoardRankTy,
+        R7: BoardRankTy,
+        R8: BoardRankTy,
+    > RunIdxBoardRank<rank::R7> for Board<R1, R2, R3, R4, R5, R6, R7, R8>
+{
+    type Output = R7;
+}
+impl<
+        R1: BoardRankTy,
+        R2: BoardRankTy,
+        R3: BoardRankTy,
+        R4: BoardRankTy,
+        R5: BoardRankTy,
+        R6: BoardRankTy,
+        R7: BoardRankTy,
+        R8: BoardRankTy,
+    > RunIdxBoardRank<rank::R8> for Board<R1, R2, R3, R4, R5, R6, R7, R8>
+{
+    type Output = R8;
+}
+
+pub(crate) trait RunIdxBoard<With: SquareTy> {
+    type Output: CellEn;
+}
+pub(crate) type IdxBoard<B, S> = <B as RunIdxBoard<S>>::Output;
+
+impl<R: RankEn, F: FileEn, B: BoardTy> RunIdxBoard<Square<R, F>> for B
+where
+    B: RunIdxBoardRank<R>,
+    IdxBoardRank<B, R>: RunIdxRank<F>,
+{
+    type Output = IdxRank<IdxBoardRank<B, R>, F>;
+}