`T_and_F_symbol_linter()` false positive with formula syntax

[IndrajeetPatil]

library(lintr)
lint(
  text = "ivreg::ivreg(Q ~ P + D | D + F + A, data = Kmenta)", 
  linters = T_and_F_symbol_linter()
)
#> <text>:1:31: style: [T_and_F_symbol_linter] Use FALSE instead of the symbol F.
#> ivreg::ivreg(Q ~ P + D | D + F + A, data = Kmenta)
#>                              ~^

The F here corresponds to the column name:

data(Kmenta, package = "ivreg")
colnames(Kmenta)
#> [1] "Q" "P" "D" "F" "A"

^{Created on 2024-07-28 with reprex v2.1.1}

[MichaelChirico]

should be safe to assume T/F are not TRUE/FALSE in the top-level of a formula, but not in calls like y~foo(x, arg=TRUE)

[MichaelChirico]

Actually, it becomes pretty murkey -- y ~ I(T^2) is fine, right? What about an interaction like y ~ cross(F, T)?

Maybe we should only block as a keyword argument: y ~ foo(x = T).