tests/ui/consts/unnormalized-param-env.rs

   1 // check-pass
   2
   3 pub trait CSpace<const N: usize> {
   4     type Traj;
   5 }
   6
   7 pub struct Const<const R: usize>;
   8
   9 pub trait Obstacle<CS, const N: usize> {
  10     fn trajectory_free<FT, S1>(&self, t: &FT)
  11     where
  12         CS::Traj: Sized,
  13         CS: CSpace<N>;
  14 }
  15
  16 // -----
  17
  18 const N: usize = 4;
  19
  20 struct ObstacleSpace2df32;
  21
  22 impl<CS> Obstacle<CS, N> for ObstacleSpace2df32 {
  23     fn trajectory_free<TF, S1>(&self, t: &TF)
  24     where
  25         CS::Traj: Sized,
  26         CS: CSpace<N>,
  27     {
  28     }
  29 }
  30
  31 fn main() {}