blob: 09c89c9cecde782555e9a1739541666e7bdb298f [file] [log] [blame]
//@ check-pass
#![feature(const_trait_impl, const_destruct, const_clone)]
use std::marker::Destruct;
const fn f<T, F: [const] Fn(&T) -> T + [const] Destruct>(_: F) {}
const fn g<T: [const] Clone>() {
f(<T as Clone>::clone);
}
fn main() {}