Use Symbol more in lint APIs
#60827
+43
−27
Merged