summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/unnormalized-param-env.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/unnormalized-param-env.rs')
-rw-r--r--src/test/ui/consts/unnormalized-param-env.rs31
1 files changed, 0 insertions, 31 deletions
diff --git a/src/test/ui/consts/unnormalized-param-env.rs b/src/test/ui/consts/unnormalized-param-env.rs
deleted file mode 100644
index a7bbe4db9..000000000
--- a/src/test/ui/consts/unnormalized-param-env.rs
+++ /dev/null
@@ -1,31 +0,0 @@
-// check-pass
-
-pub trait CSpace<const N: usize> {
- type Traj;
-}
-
-pub struct Const<const R: usize>;
-
-pub trait Obstacle<CS, const N: usize> {
- fn trajectory_free<FT, S1>(&self, t: &FT)
- where
- CS::Traj: Sized,
- CS: CSpace<N>;
-}
-
-// -----
-
-const N: usize = 4;
-
-struct ObstacleSpace2df32;
-
-impl<CS> Obstacle<CS, N> for ObstacleSpace2df32 {
- fn trajectory_free<TF, S1>(&self, t: &TF)
- where
- CS::Traj: Sized,
- CS: CSpace<N>,
- {
- }
-}
-
-fn main() {}