diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:06:37 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:06:37 +0000 |
commit | 246f239d9f40f633160f0c18f87a20922d4e77bb (patch) | |
tree | 5a88572663584b3d4d28e5a20e10abab1be40884 /src/test/ui/const-generics/issue-103243.rs | |
parent | Releasing progress-linux version 1.64.0+dfsg1-1~progress7.99u1. (diff) | |
download | rustc-246f239d9f40f633160f0c18f87a20922d4e77bb.tar.xz rustc-246f239d9f40f633160f0c18f87a20922d4e77bb.zip |
Merging debian version 1.65.0+dfsg1-2.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/const-generics/issue-103243.rs | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/issue-103243.rs b/src/test/ui/const-generics/issue-103243.rs new file mode 100644 index 000000000..78c73522b --- /dev/null +++ b/src/test/ui/const-generics/issue-103243.rs @@ -0,0 +1,37 @@ +// build-pass + +pub trait CSpace<const N: usize>: Sized { + type Traj; +} + +pub trait FullTrajectory<T, S1, const N: usize> {} + +pub struct Const<const R: usize>; + +pub trait Obstacle<CS, const N: usize> +where + CS: CSpace<N>, +{ + fn trajectory_free<FT, S1>(&self, t: &FT) + where + FT: FullTrajectory<CS::Traj, S1, N>; +} + +// ----- + +const N: usize = 4; + +struct ObstacleSpace2df32; + +impl<CS> Obstacle<CS, N> for ObstacleSpace2df32 +where + CS: CSpace<N>, +{ + fn trajectory_free<TF, S1>(&self, t: &TF) + where + TF: FullTrajectory<CS::Traj, S1, N>, + { + } +} + +fn main() {} |