1 files changed, 55 insertions, 0 deletions
diff --git a/go/analysis/passes/nilness/testdata/src/d/d.go b/go/analysis/passes/nilness/testdata/src/d/d.go
new file mode 100644
index 000000000..72bd1c872
--- /dev/null
+++ b/go/analysis/passes/nilness/testdata/src/d/d.go
@@ -0,0 +1,55 @@
+package d
+
+type message interface{ PR() }
+
+func noparam() {
+	var messageT message
+	messageT.PR() // want "nil dereference in dynamic method call"
+}
+
+func paramNonnil[T message]() {
+	var messageT T
+	messageT.PR() // cannot conclude messageT is nil.
+}
+
+func instance() {
+	// buildssa.BuilderMode does not include InstantiateGenerics.
+	paramNonnil[message]() // no warning is expected as param[message] id not built.
+}
+
+func param[T interface {
+	message
+	~*int | ~chan int
+}]() {
+	var messageT T // messageT is nil.
+	messageT.PR()  // nil receiver may be okay. See param[nilMsg].
+}
+
+type nilMsg chan int
+
+func (m nilMsg) PR() {
+	if m == nil {
+		print("not an error")
+	}
+}
+
+var G func() = param[nilMsg] // no warning
+
+func allNillable[T ~*int | ~chan int]() {
+	var x, y T  // both are nillable and are nil.
+	if x != y { // want "impossible condition: nil != nil"
+		print("unreachable")
+	}
+}
+
+func notAll[T ~*int | ~chan int | ~int]() {
+	var x, y T  // neither are nillable due to ~int
+	if x != y { // no warning
+		print("unreachable")
+	}
+}
+
+func noninvoke[T ~func()]() {
+	var x T
+	x() // want "nil dereference in dynamic function call"
+}