diff --git a/src/intrinsic_table.inl b/src/intrinsic_table.inl
index 54312b7c62..f4a0eb6e49 100644
--- a/src/intrinsic_table.inl
+++ b/src/intrinsic_table.inl
@@ -320,7 +320,7 @@ std::string Mat::String(MatchState& state) const {
 }
 
 /// TypeMatcher for 'type ptr'
-/// @see src/intrinsics.def:77:37
+/// @see src/intrinsics.def:77:6
 class Ptr : public TypeMatcher {
  public:
   /// Checks whether the given type matches the matcher rules.
@@ -361,9 +361,7 @@ std::string Ptr::String(MatchState& state) const {
   const std::string S = state.NumName();
   const std::string T = state.TypeName();
   const std::string A = state.NumName();
-  std::stringstream ss;
-  ss << "ptr<" << T << ">";
-  return ss.str();
+  return "ptr<" + S + ", " + T + ", " + A + ">";
 }
 
 /// TypeMatcher for 'type array'
diff --git a/src/intrinsics.def b/src/intrinsics.def
index fa3761c455..f6529a8aa3 100644
--- a/src/intrinsics.def
+++ b/src/intrinsics.def
@@ -74,7 +74,7 @@ type vec3<T>
 type vec4<T>
 [[display("vec{N}<{T}>")]]     type vec<N: num, T>
 [[display("mat{N}x{M}<{T}>")]] type mat<N: num, M: num, T>
-[[display("ptr<{T}>")]]        type ptr<S: storage_class, T, A: access>
+type ptr<S: storage_class, T, A: access>
 type array<T>
 type sampler
 type sampler_comparison
diff --git a/src/resolver/intrinsic_test.cc b/src/resolver/intrinsic_test.cc
index 108562af7c..bdb235cd18 100644
--- a/src/resolver/intrinsic_test.cc
+++ b/src/resolver/intrinsic_test.cc
@@ -794,7 +794,7 @@ TEST_F(ResolverIntrinsicDataTest, ArrayLength_Error_ArraySized) {
 
 2 candidate functions:
   arrayLength(array<T>) -> u32
-  arrayLength(ptr<array<T>>) -> u32
+  arrayLength(ptr<storage, array<T>, A>) -> u32
 )");
 }
 
@@ -857,8 +857,8 @@ TEST_F(ResolverIntrinsicDataTest, Frexp_Error_FirstParamInt) {
       R"(error: no matching call to frexp(i32, ptr<workgroup, i32, read_write>)
 
 2 candidate functions:
-  frexp(f32, ptr<T>) -> f32  where: T is i32 or u32, S is function, private or workgroup
-  frexp(vecN<f32>, ptr<vecN<T>>) -> vecN<f32>  where: T is i32 or u32, S is function, private or workgroup
+  frexp(f32, ptr<S, T, A>) -> f32  where: T is i32 or u32, S is function, private or workgroup
+  frexp(vecN<f32>, ptr<S, vecN<T>, A>) -> vecN<f32>  where: T is i32 or u32, S is function, private or workgroup
 )");
 }
 
@@ -874,8 +874,8 @@ TEST_F(ResolverIntrinsicDataTest, Frexp_Error_SecondParamFloatPtr) {
       R"(error: no matching call to frexp(f32, ptr<workgroup, f32, read_write>)
 
 2 candidate functions:
-  frexp(f32, ptr<T>) -> f32  where: T is i32 or u32, S is function, private or workgroup
-  frexp(vecN<f32>, ptr<vecN<T>>) -> vecN<f32>  where: T is i32 or u32, S is function, private or workgroup
+  frexp(f32, ptr<S, T, A>) -> f32  where: T is i32 or u32, S is function, private or workgroup
+  frexp(vecN<f32>, ptr<S, vecN<T>, A>) -> vecN<f32>  where: T is i32 or u32, S is function, private or workgroup
 )");
 }
 
@@ -888,8 +888,8 @@ TEST_F(ResolverIntrinsicDataTest, Frexp_Error_SecondParamNotAPointer) {
   EXPECT_EQ(r()->error(), R"(error: no matching call to frexp(f32, i32)
 
 2 candidate functions:
-  frexp(f32, ptr<T>) -> f32  where: T is i32 or u32, S is function, private or workgroup
-  frexp(vecN<f32>, ptr<vecN<T>>) -> vecN<f32>  where: T is i32 or u32, S is function, private or workgroup
+  frexp(f32, ptr<S, T, A>) -> f32  where: T is i32 or u32, S is function, private or workgroup
+  frexp(vecN<f32>, ptr<S, vecN<T>, A>) -> vecN<f32>  where: T is i32 or u32, S is function, private or workgroup
 )");
 }
 
@@ -905,8 +905,8 @@ TEST_F(ResolverIntrinsicDataTest, Frexp_Error_VectorSizesDontMatch) {
       R"(error: no matching call to frexp(vec2<f32>, ptr<workgroup, vec4<i32>, read_write>)
 
 2 candidate functions:
-  frexp(f32, ptr<T>) -> f32  where: T is i32 or u32, S is function, private or workgroup
-  frexp(vecN<f32>, ptr<vecN<T>>) -> vecN<f32>  where: T is i32 or u32, S is function, private or workgroup
+  frexp(f32, ptr<S, T, A>) -> f32  where: T is i32 or u32, S is function, private or workgroup
+  frexp(vecN<f32>, ptr<S, vecN<T>, A>) -> vecN<f32>  where: T is i32 or u32, S is function, private or workgroup
 )");
 }
 
@@ -945,8 +945,8 @@ TEST_F(ResolverIntrinsicDataTest, Modf_Error_FirstParamInt) {
       R"(error: no matching call to modf(i32, ptr<workgroup, f32, read_write>)
 
 2 candidate functions:
-  modf(f32, ptr<f32>) -> f32  where: S is function, private or workgroup
-  modf(vecN<f32>, ptr<vecN<f32>>) -> vecN<f32>  where: S is function, private or workgroup
+  modf(f32, ptr<S, f32, A>) -> f32  where: S is function, private or workgroup
+  modf(vecN<f32>, ptr<S, vecN<f32>, A>) -> vecN<f32>  where: S is function, private or workgroup
 )");
 }
 
@@ -962,8 +962,8 @@ TEST_F(ResolverIntrinsicDataTest, Modf_Error_SecondParamIntPtr) {
       R"(error: no matching call to modf(f32, ptr<workgroup, i32, read_write>)
 
 2 candidate functions:
-  modf(f32, ptr<f32>) -> f32  where: S is function, private or workgroup
-  modf(vecN<f32>, ptr<vecN<f32>>) -> vecN<f32>  where: S is function, private or workgroup
+  modf(f32, ptr<S, f32, A>) -> f32  where: S is function, private or workgroup
+  modf(vecN<f32>, ptr<S, vecN<f32>, A>) -> vecN<f32>  where: S is function, private or workgroup
 )");
 }
 
@@ -976,8 +976,8 @@ TEST_F(ResolverIntrinsicDataTest, Modf_Error_SecondParamNotAPointer) {
   EXPECT_EQ(r()->error(), R"(error: no matching call to modf(f32, f32)
 
 2 candidate functions:
-  modf(f32, ptr<f32>) -> f32  where: S is function, private or workgroup
-  modf(vecN<f32>, ptr<vecN<f32>>) -> vecN<f32>  where: S is function, private or workgroup
+  modf(f32, ptr<S, f32, A>) -> f32  where: S is function, private or workgroup
+  modf(vecN<f32>, ptr<S, vecN<f32>, A>) -> vecN<f32>  where: S is function, private or workgroup
 )");
 }
 
@@ -993,8 +993,8 @@ TEST_F(ResolverIntrinsicDataTest, Modf_Error_VectorSizesDontMatch) {
       R"(error: no matching call to modf(vec2<f32>, ptr<workgroup, vec4<f32>, read_write>)
 
 2 candidate functions:
-  modf(vecN<f32>, ptr<vecN<f32>>) -> vecN<f32>  where: S is function, private or workgroup
-  modf(f32, ptr<f32>) -> f32  where: S is function, private or workgroup
+  modf(vecN<f32>, ptr<S, vecN<f32>, A>) -> vecN<f32>  where: S is function, private or workgroup
+  modf(f32, ptr<S, f32, A>) -> f32  where: S is function, private or workgroup
 )");
 }