From c0fbd031336db4fcec4e45d67ffd54a9dd27007d Mon Sep 17 00:00:00 2001
From: Chris Smowton <smowton@github.com>
Date: Tue, 10 May 2022 14:42:38 +0100
Subject: [PATCH] Add qldoc for `getTermInIntersection`

---
 ql/lib/semmle/go/Types.qll | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ql/lib/semmle/go/Types.qll b/ql/lib/semmle/go/Types.qll
index 65399883a50..8ec3978e6f1 100644
--- a/ql/lib/semmle/go/Types.qll
+++ b/ql/lib/semmle/go/Types.qll
@@ -668,6 +668,9 @@ private TypeSetTerm getIntersection(TypeSetTerm term1, TypeSetTerm term2) {
   if term1.hasTilde() then result = term2 else result = term1
 }
 
+/**
+ * Gets a term in the intersection of type-set literals `a` and `b`.
+ */
 TypeSetTerm getTermInIntersection(TypeSetLiteralType a, TypeSetLiteralType b) {
   result = getIntersection(a.getATerm(), b.getATerm())
 }