fn dump_vtable_entries<'tcx>(
    tcx: TyCtxt<'tcx>,
    sp: Span,
    trait_ref: PolyTraitRef<'tcx>,
    entries: &[VtblEntry<'tcx>]
)