1 2 3 4 5 6 7 8 9 10 11 12
// check-pass // compile-flags: -Z trait-solver=chalk trait Foo {} struct Bar {} impl Foo for Bar {} fn main() -> () { let _ = Bar {}; }