about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/interpret/traits.rs
AgeCommit message (Expand)AuthorLines
2025-09-17Remove `DynKind`León Orell Valerian Liehr-1/+1
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-3/+4
2025-07-01Remove support for dyn*Michael Goulet-21/+1
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+0
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-3/+3
2025-01-31interpret: adjust vtable validity check for higher-ranked typesLukas Markeffsky-13/+7
2025-01-30Do not treat vtable supertraits as distinct when bound with different bound varsMichael Goulet-1/+2
2024-11-03compiler: Directly use rustc_abi in const_evalJubilee Young-1/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-6/+8
2024-09-23Check vtable projections for validity in miriMichael Goulet-20/+47
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-1/+3
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-25/+23
2024-06-11interpret: dyn trait metadata check: equate traits in a proper wayRalf Jung-1/+35
2024-06-11check for correct trait in size_and_align_ofRalf Jung-1/+2
2024-06-10interpret: refactor dyn trait handlingRalf Jung-18/+48
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-1/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-04-17interpret: rename base_pointer -> root_pointerRalf Jung-1/+1
2023-09-14make it more clear which functions create fresh AllocIdRalf Jung-1/+1
2022-11-13add is_sized method on Abi and Layout, and use itRalf Jung-1/+1
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-07-20incorporate some review feedbackRalf Jung-3/+4
2022-07-20make use of symbolic vtables in interpreterRalf Jung-109/+24
2022-07-19interpret: rename Tag/PointerTag to Prov/ProvenanceRalf Jung-6/+6
2022-07-02make AllocRef APIs more consistentRalf Jung-5/+5
2022-06-05interpret: better control over whether we read data with provenance, and impl...Ralf Jung-8/+11
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-5/+5
2022-05-28Initial fixes on top of type interner commitMichael Goulet-4/+4
2022-04-07interpret: err instead of ICE on size mismatches in to_bits_or_ptr_internalRalf Jung-3/+4
2022-04-03interpret: remove MemoryExtra in favor of giving access to the MachineRalf Jung-11/+7
2022-03-31interpret: make isize::MAX the limit for dynamic value sizesRalf Jung-2/+3
2021-10-07Turn tcx.vtable_allocation() into a query.Michael Woerister-1/+1
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+142