Function infer_element_ty 

fn infer_element_ty<'tcx>(ty: Ty<'tcx>) -> Option<Ty<'tcx>>