#![feature(existential_type)]

// existential type T: Tr;

trait Tr {}

struct S<M> {
  m : M
}

impl<M> S<M> {
    fn new(m: M) -> Self {
        S { m }
    }
}

impl<M> Tr for S<M> {}

//pub fn new<M>(m: M) -> T {
//    S::new(m)
//}

pub fn new2<M>(m: M) -> impl Tr {
    S::new(m)
}

fn main() {
    println!("Hello, world!");
}