honnef.co/go/tools@v0.5.0-0.dev.0.20240520180541-dcae280a5e87/quickfix/qf1001/testdata/src/example.com/CheckDeMorgan/CheckDeMorgan.go (about)

     1  package pkg
     2  
     3  func fn() {
     4  	var a, b, c bool
     5  	var e, f, g int
     6  	var h, i float64
     7  
     8  	_ = !(a && b && (!c || e > f) && g == f) //@ diag(`could apply De Morgan's law`)
     9  	_ = !(a && h > i)
    10  }