32 lines
493 B
Rust
32 lines
493 B
Rust
|
//@ 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() {}
|