about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/util/check_validity_requirement.rs
AgeCommit message (Expand)AuthorLines
2025-09-28remove explicit deref of AbiAlign for most methodsJubilee Young-1/+1
2025-07-16Comment more code and make tests clearerDeadbeef-6/+5
2025-07-16add `const_make_global`; err for `const_allocate` ptrs if didn't callDeadbeef-4/+6
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-02-28rename BackendRepr::Vector → SimdVectorRalf Jung-1/+1
2025-02-20Remove `BackendRepr::Uninhabited`, replaced with an `uninhabited: bool` field...Zachary S-7/+9
2025-02-05Pretty print pattern type values with `transmute` if they don't satisfy their...Oli Scherer-13/+41
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-0/+1
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-1/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-5/+5
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-7/+7
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-2/+1
2024-09-30panic when an interpreter error gets unintentionally discardedRalf Jung-1/+3
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-3/+5
2024-09-16make `LayoutCx` not genericLukas Markeffsky-2/+2
2024-09-08clarify comments and names in check_validity_requirementRalf Jung-9/+11
2024-09-08interpret: reset padding during validationRalf Jung-1/+1
2024-09-08interpret: reset provenance on typed copiesRalf Jung-4/+8
2024-08-06pass the right `ParamEnv` to `might_permit_raw_init_strict`y21-5/+5
2024-08-03Miri: add a flag to do recursive validity checkingRalf Jung-1/+1
2024-06-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-2/+2
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-09Make builtin_deref just return a TyMichael Goulet-1/+1
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-2/+2
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-1/+1
2023-07-01Put `LayoutError` behind reference to shrink resultNilstrieb-3/+3
2023-06-24Add enum for `can_access_statics` booleanNilstrieb-3/+2
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-6/+2
2023-03-02Allow checking whether a type allows being uninitializedNilstrieb-1/+4
2023-02-27Unify all validity check intrinsicsNilstrieb-0/+161