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


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

//@ compile-flags: -Znext-solver
//@ check-pass

#![feature(const_trait_impl, const_destruct)]

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

struct MyAdt;

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