about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/util
AgeCommit message (Expand)AuthorLines
2024-09-08interpret: reset provenance on typed copiesRalf Jung-4/+8
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-1/+1
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-1/+1
2024-08-08Normalize struct tail properly in disalignment checkMichael Goulet-1/+1
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-07-29Reformat `use` declarations.Nicholas Nethercote-8/+5
2024-06-13rename CompileTimeInterpreter -> CompileTimeMachine, CompileTimeEvalContext -...Ralf Jung-4/+4
2024-05-27interpret: get rid of 'mir lifetime everywhereRalf Jung-2/+2
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_const_eval`.Nicholas Nethercote-0/+2
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-3/+6
2024-05-13Remove `extern crate rustc_middle` from `rustc_const_eval`.Nicholas Nethercote-0/+3
2024-05-09Make builtin_deref just return a TyMichael Goulet-1/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+1
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-2/+2
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-02Rollup merge of #121731 - oli-obk:eager_opaque_checks, r=compiler-errorsGuillaume Boisseau-22/+3
2024-02-28Now that inlining, mir validation and const eval all use reveal-all, we won't...Oli Scherer-22/+3
2024-02-27Split rustc_type_ir to avoid rustc_ast from depending on itOli Scherer-2/+1
2024-02-21make it possible for outside crates to inspect a mir::ConstValue with the int...Ralf Jung-2/+7
2024-02-10unstably allow constants to refer to statics and read from immutable staticsRalf Jung-4/+4
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2024-01-25Auto merge of #119627 - oli-obk:const_prop_lint_n̵o̵n̵sense, r=cjgillotbors-2/+2
2024-01-23partially inline `eval_rvalue_into_place` for const prop lintOli Scherer-2/+2
2024-01-22const-eval interner: from-scratch rewrite using mutability information from p...Ralf Jung-0/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-12-10Revert "Don't print host effect param in pretty path_generic_args"Deadbeef-1/+0
2023-12-09Don't print host effect param in pretty path_generic_argsMichael Goulet-0/+1
2023-10-31Turn const_caller_location from a query to a hookOli Scherer-5/+8
2023-10-28interpret: call caller_location logic the same way codegen does, and share so...Ralf Jung-0/+64
2023-10-21Make `ty::print::Printer` take `&mut self` instead of `self`Nilstrieb-37/+39
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-10-17Remove `Print::Error`Nilstrieb-1/+1
2023-10-17Remove `Printer::Error`Nilstrieb-19/+17
2023-10-17Remove `Print::Output`Nilstrieb-1/+1
2023-10-17Remove "subprinter" types from `Printer`Nilstrieb-18/+12
2023-10-07Auto merge of #115583 - RalfJung:packed-unsized, r=lcnrbors-1/+9
2023-10-02have better explanation for `relate_types`ouz-a-3/+3
2023-10-02change is_subtype to relate_typesouz-a-5/+11
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+1
2023-09-06still accept references to u8 slices and str in packed fieldsRalf Jung-2/+8
2023-09-05fix detecting references to packed unsized fieldsRalf Jung-1/+3
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-1/+1
2023-08-24MIR validation: reject in-place argument/return for packed fieldsRalf Jung-2/+3
2023-07-27Turns out opaque types can have hidden types registered during mir validationOli Scherer-6/+9
2023-07-21Double check that hidden types match the expected hidden typeOli Scherer-3/+8
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-7/+6
2023-07-01Put `LayoutError` behind reference to shrink resultNilstrieb-3/+3
2023-06-24Add enum for `can_access_statics` booleanNilstrieb-3/+2