// aux-build:dyn-star-foreign.rs

extern crate dyn_star_foreign;

fn main() {
    dyn_star_foreign::require_dyn_star_display(1usize as _);
    //~^ ERROR casting `usize` as `dyn* std::fmt::Display` is invalid
}