Function normalize

fn normalize<'tcx>(
    cx: &mut DocContext<'tcx>,
    ty: Binder<'tcx, Ty<'tcx>>,
) -> Option<Binder<'tcx, Ty<'tcx>>>

Returns None if the type could not be normalized