This commit is contained in:
nora 2024-03-16 20:04:46 +01:00
parent 71521a5235
commit a028b8117f
5 changed files with 9 additions and 11 deletions

8
Cargo.lock generated
View file

@ -13,18 +13,18 @@ dependencies = [
[[package]]
name = "proc-macro2"
version = "1.0.71"
version = "1.0.79"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "75cb1540fadbd5b8fbccc4dddad2734eba435053f725621c070711a14bb5f4b8"
checksum = "e835ff2298f5721608eb1a980ecaee1aef2c132bf95ecc026a11b7bf3c01c02e"
dependencies = [
"unicode-ident",
]
[[package]]
name = "quote"
version = "1.0.33"
version = "1.0.35"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5267fca4496028628a95160fc423a33e8b2e6af8a5302579e322e4b520293cae"
checksum = "291ec9ab5efd934aaf503a6466c5d5251535d108ee747472c3977cc5acc868ef"
dependencies = [
"proc-macro2",
]

View file

@ -2,11 +2,11 @@ use std::hash::{BuildHasher, Hash};
pub mod simple_open_addressing;
trait HashMapFamily {
pub trait HashMapFamily {
type Map<K, V, S>: HashMap<K, V, S>;
}
trait HashMap<K, V, S>: IntoIterator<Item = (K, V)> {
pub trait HashMap<K, V, S>: IntoIterator<Item = (K, V)> {
fn with_hasher(state: S) -> Self;
fn len(&self) -> usize;

View file

@ -1,13 +1,11 @@
#![feature(ptr_metadata)]
#![feature(trace_macros)]
#![feature(auto_traits)]
#![feature(negative_impls)]
#![feature(strict_provenance)]
pub mod cfg_match;
pub mod hashmaps;
pub mod innocent_linked_list;
pub mod scratch;
#[cfg(FALSE)]
pub mod sendsync;
pub mod thin_u128;
pub mod unroll_int;

View file

@ -67,7 +67,7 @@ pub use {actual_scratch_read, actual_scratch_write, define_scratch, scratch_read
mod tests {
use pm::scratch_space;
use super::{define_scratch, Scratch};
use super::Scratch;
#[scratch_space]
fn has_scratch_space(mut scratch: Scratch<'_>) {

View file

@ -31,7 +31,7 @@ impl ThinU128 {
} else {
let value = (int as usize) << 2;
let repr = value | TAG_MASK | ALWAYS_ONE_NICHE;
Self(NonNull::new(ptr::invalid_mut(repr)).unwrap())
Self(NonNull::new(ptr::without_provenance_mut(repr)).unwrap())
}
}