std: Unsafe-wrap HashMap::get_many_unchecked_mut · model-checking/verify-rust-std@4679f9a (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 4679f9a

committed

std: Unsafe-wrap HashMap::get_many_unchecked_mut

1 parent ac0fd27 commit 4679f9a

File tree

1 file changed

1

-

3

lines changed

std/src/collections/hash
- map.rs

1 file changed

1

-

3

lines changed

‎std/src/collections/hash/map.rs‎

Lines changed: 1 addition & 3 deletions

Original file line number	Diff line number	Diff line change
@@ -1,5 +1,3 @@
1		-#![allow(unsafe_op_in_unsafe_fn)]
2		-
3	1	#[cfg(test)]
4	2	mod tests;
5	3
@@ -1020,7 +1018,7 @@ where
1020	1018	K: Borrow<Q>,
1021	1019	Q: Hash + Eq,
1022	1020	{
1023		-self.base.get_many_unchecked_mut(ks)
	1021	+unsafe { self.base.get_many_unchecked_mut(ks) }
1024	1022	}
1025	1023
1026	1024	/// Returns `true` if the map contains a value for the specified key.

0 commit comments

Comments

(0)