RequirementMachine: Add missing entry to Symbol::Kinds

slavapestov · slavapestov · commit f3748133a63d · 2023-08-29T22:44:24.000-04:00
When we added same-shape requirements, we broke -analyze-requirement-machine,
which outputs some histograms. Add a regression test to make sure this code
path doesn't bitrot.
diff --git a/lib/AST/RequirementMachine/Symbol.cpp b/lib/AST/RequirementMachine/Symbol.cpp
@@ -30,6 +30,7 @@ const StringRef Symbol::Kinds[] = {
   "assocty",
   "generic",
   "name",
+  "shape",
   "layout",
   "super",
   "concrete"
diff --git a/test/Generics/analyze_requirement_machine.swift b/test/Generics/analyze_requirement_machine.swift
@@ -0,0 +1,3 @@
+// RUN: %target-typecheck-verify-swift -analyze-requirement-machine
+
+public func f<T: FixedWidthInteger>(_: T) {}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// RUN: %target-typecheck-verify-swift -analyze-requirement-machine`
	`2`	`+`
	`3`	`+public func f<T: FixedWidthInteger>(_: T) {}`