tests/ui/traits/new-solver/unsize-although-ambiguous.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

// check-pass
// compile-flags: -Ztrait-solver=next

use std::fmt::Display;

fn box_dyn_display(_: Box<dyn Display>) {}

fn main() {
    // During coercion, we don't necessarily know whether `{integer}` implements
    // `Display`. Before, that would cause us to bail out in the coercion loop when
    // checking `{integer}: Unsize<dyn Display>`.
    box_dyn_display(Box::new(1));
}