tests/ui/lazy-type-alias/coerce-behind-lazy.rs

// check-pass
// revisions: current next
//[next] compile-flags: -Ztrait-solver=next

#![feature(lazy_type_alias)]
//~^ WARN the feature `lazy_type_alias` is incomplete

use std::any::Any;

type Coerce = Box<dyn Any>;

fn test() -> Coerce {
    Box::new(1)
}

fn main() {}