fn clean_projection<'tcx>( ty: Binder<'tcx, AliasTy<'tcx>>, cx: &mut DocContext<'tcx>, def_id: Option<DefId>) -> Type