tests/ui/traits/new-solver/destruct.rs


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

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

#![feature(const_trait_impl)]

fn foo(_: impl std::marker::Destruct) {}

struct MyAdt;

fn main() {
    foo(1);
    foo(MyAdt);
}