github.com/amarpal/go-tools@v0.0.0-20240422043104-40142f59f616/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  }