pub const BOOL_THEN: RustcVersion;