remove unnecessary line

Alvaro Muñoz · Alvaro Muñoz · commit 2576a09af94c · 2023-02-02T17:50:50.000+01:00
diff --git a/go/ql/lib/semmle/go/frameworks/Twirp.qll b/go/ql/lib/semmle/go/frameworks/Twirp.qll
@@ -56,7 +56,6 @@ module Twirp {
     ServiceInterface() {
       exists(TypeEntity te |
         te.getType() = serviceInterface and
-        this instanceof InterfaceType and
         serviceInterface.getUnderlyingType() = this and
         te.getDeclaration().getLocation().getFile() instanceof ServicesGeneratedFile
       )

Original file line number	Diff line number	Diff line change
`@@ -56,7 +56,6 @@ module Twirp {`
`56`	`56`	`ServiceInterface() {`
`57`	`57`	`exists(TypeEntity te \|`
`58`	`58`	`te.getType() = serviceInterface and`
`59`		`- this instanceof InterfaceType and`
`60`	`59`	`serviceInterface.getUnderlyingType() = this and`
`61`	`60`	`te.getDeclaration().getLocation().getFile() instanceof ServicesGeneratedFile`
`62`	`61`	`)`