libpcp 0.6.4

A constraint solver supporting arithmetic constraints over integers.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

the trait cannot require that `Self : Sized`

Example:
```
trait T: Clone {}

#[derive(Clone)]
struct TImpl {}

impl T for TImpl {}

fn main() {
  let a: Box<T> = Box::new(TImpl{});
}
```

This is because `Clone` requires `Sized`. Imagine `v: Vec<Box<T>>` and `let x = v[0].clone()`, what is the size of `x` since it is not boxed?

Workaround: Implement a trait `BoxedClone` so `clone` returns a boxed variant of the object.