| //@ 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() {} |