1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
//@ build-pass (FIXME(62277): could be check-pass?)
// #55266
struct VTable<DST: ?Sized> {
_to_dst_ptr: fn(*mut ()) -> *mut DST,
}
trait HasVTableFor<DST: ?Sized + 'static> {
const VTABLE: &'static VTable<DST>;
}
impl<T, DST: ?Sized + 'static> HasVTableFor<DST> for T {
const VTABLE: &'static VTable<DST> = &VTable {
_to_dst_ptr: |_: *mut ()| unsafe { std::mem::zeroed() },
};
}
pub fn push<DST: ?Sized + 'static, T>() {
<T as HasVTableFor<DST>>::VTABLE;
}
fn main() {}
|
