about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver/destruct.rs
blob: fd14132124c4bd1fcf6bf3178746d15c815b157c (plain)
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);
}