Function normalize 

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

Returns None if the type could not be normalized