Matthias Krüger e7efa04450 Rollup merge of #143975 - RalfJung:type-id-eq, r=oli-obk ... type_id_eq: check that the hash fully matches the type The previous logic wouldn't always detect when the hash mismatches the provenance. Fix that by adding a new helper, `read_type_id`, that reads a single type ID while fully checking it for validity and consistency. r? ``@oli-obk``		2025-07-17 10:41:48 +02:00
..
call.rs	Add InterpCx::fn_abi_of_instance/_fn_ptr with tracing, shadowing FnAbiOf	2025-07-15 15:04:53 +02:00
cast.rs	Remove support for dyn*	2025-07-01 19:00:21 +00:00
discriminant.rs	Add InterpCx::layout_of with tracing, shadowing LayoutOf	2025-06-27 11:49:22 +02:00
eval_context.rs	Add InterpCx::fn_abi_of_instance/_fn_ptr with tracing, shadowing FnAbiOf	2025-07-15 15:04:53 +02:00
intern.rs	simplfy memory kind handling during interning	2025-07-16 15:29:52 +02:00
intrinsics.rs	type_id_eq: check that the hash fully matches the type	2025-07-16 08:02:47 +02:00
machine.rs	simplfy memory kind handling during interning	2025-07-16 15:29:52 +02:00
memory.rs	Rollup merge of #143975 - RalfJung:type-id-eq, r=oli-obk	2025-07-17 10:41:48 +02:00
mod.rs	const heap: fix ICE on forgotten make_global	2025-07-16 15:29:52 +02:00
operand.rs	Add InterpCx::layout_of with tracing, shadowing LayoutOf	2025-06-27 11:49:22 +02:00
operator.rs	Add InterpCx::layout_of with tracing, shadowing LayoutOf	2025-06-27 11:49:22 +02:00
place.rs	setup CI and tidy to use typos for spellchecking and fix few typos	2025-07-03 10:51:06 +03:00
projection.rs	Add opaque TypeId handles for CTFE	2025-07-09 16:37:11 +00:00
stack.rs	Make frame spans appear on a separate trace line	2025-07-16 09:25:35 +02:00
step.rs	Add InterpCx::fn_abi_of_instance/_fn_ptr with tracing, shadowing FnAbiOf	2025-07-15 15:04:53 +02:00
traits.rs	Remove support for dyn*	2025-07-01 19:00:21 +00:00
util.rs	Make enter_trace_span take a closure for better optimization	2025-07-08 15:24:56 +02:00
validity.rs	const heap: fix ICE on forgotten make_global	2025-07-16 15:29:52 +02:00
visitor.rs	Remove support for dyn*	2025-07-01 19:00:21 +00:00