about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/const_eval/valtrees.rs
AgeCommit message (Expand)AuthorLines
2025-09-16Add span for struct tail recursion limit errorTawan Muadmuenwai-0/+2
2025-07-23Remove useless lifetime parameter.Camille GILLOT-1/+1
2025-06-27Add InterpCx::layout_of with tracing, shadowing LayoutOfStypox-1/+1
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-28/+10
2025-06-05Update `InterpCx::project_field` to take `FieldIdx`Scott McMurray-3/+3
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-1/+1
2025-02-13simplify valtree branches constructionLukas Markeffsky-15/+12
2025-02-13intern valtreesLukas Markeffsky-14/+11
2025-02-03Refactor using the type-level constant value `ty::Value`FedericoBruzzone-19/+23
2025-01-30add commentsLukas Markeffsky-1/+2
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-2/+6
2024-12-09fix ICE on type error in promotedRalf Jung-2/+2
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-13/+12
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-4/+7
2024-10-29compiler: `rustc_abi::Abi` => `BackendRepr`Jubilee Young-3/+3
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-4/+4
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-3/+3
2024-09-16layout computation: eagerly error for unexpected unsized fieldsLukas Markeffsky-1/+1
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-2/+2
2024-08-11Rename normalization functions to rawMichael Goulet-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+3
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-8/+8
2024-06-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-8/+8
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-4/+4
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-7/+7
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-0/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-2/+14
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-2/+2
2024-02-21make it possible for outside crates to inspect a mir::ConstValue with the int...Ralf Jung-4/+6
2024-02-10validation: descend from consts into staticsRalf Jung-13/+1
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-25/+71
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+2
2024-01-24remove StructuralEq traitRalf Jung-1/+1
2023-12-24fix ICE when using raw ptr in a patternRalf Jung-1/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-12patterns: don't ice when encountering a raw str sliceRalf Jung-4/+9
2023-11-08Auto merge of #116930 - RalfJung:raw-ptr-match, r=davidtwcobors-10/+27
2023-11-03Auto merge of #117507 - nnethercote:rustc_span, r=Nilstriebbors-1/+1
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
2023-11-01Specify diagnostic path.Camille GILLOT-2/+2
2023-10-28patterns: reject raw pointers that are not just integersRalf Jung-10/+27
2023-10-20s/Generator/Coroutine/Oli Scherer-4/+4
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+1
2023-09-19move ConstValue into mirRalf Jung-6/+7
2023-09-14valtree_to_const_value: add fast-path for Scalar tuples/structsRalf Jung-1/+16
2023-09-14a bit of cleanup in valtree_to_const_valueRalf Jung-51/+37
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-3/+3
2023-08-06simplify handling of valtrees for unsized typesRalf Jung-71/+28