#![feature(existential_type)]

use std::fmt::Display;

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

trait Test {
    type Out: Display;

    fn test(&self) -> Self::Out;
}

impl Test for () {
    existential type Out: Display;

    fn test(&self) -> Self::Out {
        "abcd"
    }
}