Function impl_self_is_guaranteed_unsized 

fn impl_self_is_guaranteed_unsized<'tcx>(
    tcx: TyCtxt<'tcx>,
    impl_def_id: DefId,
) -> bool