trait SomeTrait{}
struct A<T: SomeTrait> {
    v: T
}
impl SomeTrait for (){}
impl<T: SomeTrait> A<T>
{
    fn new() -> A<T> {
        A {
            v: ()
        }
    }
}