//@ build-pass
//@ revisions: current next
//@ ignore-compare-mode-next-solver (explicit revisions)
//@[next] compile-flags: -Znext-solver

fn test() -> Option<impl Sized> {
    Some("")
}

fn main() {
    test();
}