commit c18ef6b0911d4886a744469fc333c355167d0464
author Sam McCall <sammccall@google.com> Mon Jun 19 01:14:21 2023 -0700
committer Copybara-Service <copybara-worker@google.com> Mon Jun 19 01:15:00 2023 -0700
tree eac0f26f127044f7a9e1195a8926cf8ad7dda0c5
parent fd49ad449d854c4c1f1ed948c61d9609ff676426

Built-in alias templates aren't nullability annotations: don't crash checking

PiperOrigin-RevId: 541550114

nullability/type_nullability_test.cc

diff --git a/nullability/type_nullability_test.cc b/nullability/type_nullability_test.cc
index 844f27d..7f87fc0 100644
--- a/nullability/type_nullability_test.cc
+++ b/nullability/type_nullability_test.cc
@@ -117,6 +117,13 @@
   EXPECT_THAT(nullVec("TripleAlias<int *, int *_Nullable, int*>"),
               ElementsAre(NullabilityKind::NonNull, NullabilityKind::Nullable,
                           NullabilityKind::Unspecified));
+
+  Preamble = R"cpp(
+    template <class... Ts>
+    using First = __type_pack_element<0, Ts...>;
+  )cpp";
+  EXPECT_THAT(nullVec("First<int * _Nonnull>"),
+              ElementsAre(NullabilityKind::NonNull));
 }
 
 TEST_F(GetNullabilityAnnotationsFromTypeTest, DependentAlias) {