pub const BOOL_THEN_SOME: RustcVersion;