summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/interpret/queries.rs
AgeCommit message (Expand)AuthorLines
2024-12-30Fix typosNoName-6/+6
2024-12-09fix ICE on type error in promotedRalf Jung-2/+7
2024-11-23no more Reveal :(lcnr-2/+2
2024-11-19`InterpCx` store `TypingEnv` instead of a `ParamEnv`lcnr-15/+17
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-10/+7
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-8/+7
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-2/+2
2024-06-05Don't walk the bodies of free constants for reachability.Oli Scherer-3/+23
2024-05-27Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercotebors-2/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-2/+1
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-8/+8
2024-02-15Return ConstAllocation from eval_static_initializer query directlyOli Scherer-32/+1
2024-02-15Add new query just for static initializersOli Scherer-21/+3
2024-02-12Dejargnonize substShoyu Vanilla-9/+9
2024-01-23Rename `TyCtxt::struct_span_lint_hir` as `TyCtxt::node_span_lint`.Nicholas Nethercote-1/+1
2024-01-19Always use RevealAll for const eval queriesOli Scherer-2/+2
2023-12-15Don't pass lint back out of lint decoratorMichael Goulet-1/+1
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-1/+1
2023-09-14don't point at const usage site for resolution-time errorsRalf Jung-6/+12
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-4/+4
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-7/+2
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-10/+10
2023-06-26Make simd_shuffle_indices use valtreesOli Scherer-17/+9
2023-06-14add InlineConst checkJames Dietz-1/+4
2023-05-17Finish move of query.rsJohn Kåre Alsaker-1/+2
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-2/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-8/+8
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-0/+4
2022-10-22Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obkbors-1/+25
2022-10-21fix some typosRageking8-1/+1
2022-10-18`const_evaluatable_unchecked` to const evallcnr-1/+25
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-2/+2
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-3/+3
2022-09-22introduce mir::Unevaluatedb-naber-3/+7
2022-09-19`DestructuredConst` split mir and tylcnr-1/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-2/+2
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-28Improve pretty printing of valtrees for referencesDominik Stolz-7/+1
2022-06-19Use `ensure` for `UnusedBrokenConst`.Camille GILLOT-1/+34
2022-06-14address reviewb-naber-20/+0
2022-06-14address reviewb-naber-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-7/+73
2022-06-04use precise spans for recursive const evaluationRalf Jung-3/+16
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-1/+12
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-1/+4
2022-03-22fix previous failures and address reviewb-naber-1/+1