Rollup merge of #126384 - RalfJung:is_none_or, r=workingjubilee · model-checking/verify-rust-std@9adf702 (original) (raw)

Skip to content

Appearance settings

- AI CODE CREATION
  * GitHub CopilotWrite better code with AI
  * GitHub SparkBuild and deploy intelligent apps
  * GitHub ModelsManage and compare prompts
  * MCP RegistryNewIntegrate external tools
- DEVELOPER WORKFLOWS
  * ActionsAutomate any workflow
  * CodespacesInstant dev environments
  * IssuesPlan and track work
  * Code ReviewManage code changes
- APPLICATION SECURITY
  * GitHub Advanced SecurityFind and fix vulnerabilities
  * Code securitySecure your code as you build
  * Secret protectionStop leaks before they start
- EXPLORE
  * Why GitHub
  * Documentation
  * Blog
  * Changelog
  * Marketplace

View all features

- BY COMPANY SIZE
  * Enterprises
  * Small and medium teams
  * Startups
  * Nonprofits
- BY USE CASE
  * App Modernization
  * DevSecOps
  * DevOps
  * CI/CD
  * View all use cases
- BY INDUSTRY
  * Healthcare
  * Financial services
  * Manufacturing
  * Government
  * View all industries

View all solutions

- EXPLORE BY TOPIC
  * AI
  * Software Development
  * DevOps
  * Security
  * View all topics
- EXPLORE BY TYPE
  * Customer stories
  * Events & webinars
  * Ebooks & reports
  * Business insights
  * GitHub Skills
- SUPPORT & SERVICES
  * Documentation
  * Customer support
  * Community forum
  * Trust center
  * Partners
- COMMUNITY
  * GitHub SponsorsFund open source developers
- PROGRAMS
  * Security Lab
  * Maintainer Community
  * Accelerator
  * Archive Program
- REPOSITORIES
  * Topics
  * Trending
  * Collections
- ENTERPRISE SOLUTIONS
  * Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  * GitHub Advanced SecurityEnterprise-grade security features
  * Copilot for BusinessEnterprise-grade AI features
  * Premium SupportEnterprise-grade 24/7 support
Pricing

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

model-checking / verify-rust-std Public

forked from rust-lang/rust

Notifications You must be signed in to change notification settings
Fork60
Star 319
Code
Issues 27
Pull requests 16
Discussions
Actions
Projects
Security
Insights

Additional navigation options

Commit 9adf702

authored

Rollup merge of rust-lang#126384 - RalfJung:is_none_or, r=workingjubilee

add tracking issue for is_none_or This was forgotten in rust-lang#126328. Cc rust-lang#126383

2 parents 02cb1e9 + 3ef894f commit 9adf702

File tree

1 file changed

1

-

1

lines changed

core/src
- option.rs

1 file changed

1

-

1

lines changed

‎core/src/option.rs‎

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
@@ -672,7 +672,7 @@ impl Option {
672	672	/// ```
673	673	#[must_use]
674	674	#[inline]
675		-#[unstable(feature = "is_none_or", issue = "none")]
	675	+#[unstable(feature = "is_none_or", issue = "126383")]
676	676	pub fn is_none_or(self, f: impl FnOnce(T) -> bool) -> bool {
677	677	match self {
678	678	None => true,

0 commit comments

Comments

(0)