Constant span_lint_and_then 

pub const span_lint_and_then: Symbol;