Function impl_self_ty 

fn impl_self_ty(tcx: TyCtxt<'_>, impl_def_id: DefId) -> Ty<'_>

Takes an impl DefId and return the self Ty of the impl.