add test case

mateusz834 · mateusz834 · commit 669e8aad8238 · 2025-02-14T19:35:40.000+01:00
Change-Id: Ic0453367df8032afedd048916c9292eafd75c2f3
diff --git a/test/escape_iface_with_devirt_type_assertions.go b/test/escape_iface_with_devirt_type_assertions.go
@@ -119,6 +119,14 @@ func t2() {
 		callA(a)    // ERROR "devirtualizing" "inlining call"
 		callIfA(a)  // ERROR "devirtualizing" "inlining call"
 	}
+
+	{
+		var a M = &Impl{} // ERROR "does not escape"
+		// Note the !ok condition, devirtualizing here is fine, as this is not going to be called.
+		if v, ok := a.(M); !ok {
+			v.M() // ERROR "devirtualizing" "inlining call"
+		}
+	}
 }
 
 func newM() M { // ERROR "can inline"

Original file line number	Diff line number	Diff line change
`@@ -119,6 +119,14 @@ func t2() {`
`119`	`119`	`callA(a) // ERROR "devirtualizing" "inlining call"`
`120`	`120`	`callIfA(a) // ERROR "devirtualizing" "inlining call"`
`121`	`121`	`}`
	`122`	`+`
	`123`	`+ {`
	`124`	`+ var a M = &Impl{} // ERROR "does not escape"`
	`125`	`+ // Note the !ok condition, devirtualizing here is fine, as this is not going to be called.`
	`126`	`+ if v, ok := a.(M); !ok {`
	`127`	`+ v.M() // ERROR "devirtualizing" "inlining call"`
	`128`	`+ }`
	`129`	`+ }`
`122`	`130`	`}`
`123`	`131`
`124`	`132`	`func newM() M { // ERROR "can inline"`