Commits
Doug Gregor committed 532dd646dc3
Use "witness" rather than "value witness" to mean a non-type witness in the AST/type checker. The term "value witness" has a very specific meaning in IR generation, causing unnecessary confusion. Swift SVN r6650