|
//@ check-pass
|
|
|
|
#![feature(const_trait_impl, const_destruct)]
|
|
|
|
use std::marker::Destruct;
|
|
|
|
pub trait Tr {}
|
|
|
|
#[allow(drop_bounds)]
|
|
impl<T: Drop> Tr for T {}
|
|
|
|
#[derive(Debug)]
|
|
pub struct S(i32);
|
|
|
|
impl Tr for S {}
|
|
|
|
const fn a<T: ~const Destruct>(t: T) {}
|
|
|
|
fn main() {
|
|
a(S(0));
|
|
}
|