fn get_info_on_unsized_field<'tcx>(
    ty: Ty<'tcx>,
    valtree: ValTree<'tcx>,
    tcx: TyCtxt<'tcx>
) -> (Ty<'tcx>, usize)