| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-12-15 | Annotate some more bugs | Michael Goulet | -2/+2 | |
| 2023-12-07 | ctfe interpreter: extend provenance so that it can track whether a pointer ↵ | Ralf Jung | -2/+2 | |
| is immutable | ||||
| 2023-11-20 | Uplift InferConst to rustc_type_ir | Michael Goulet | -26/+0 | |
| 2023-10-24 | Get rid of 'tcx on ConstVid, EffectVid | Michael Goulet | -4/+4 | |
| 2023-09-18 | Remove unused `Lift` derives. | Nicholas Nethercote | -1/+1 | |
| I found these by commenting out all `Lift` derives and then adding back the ones that were necessary to successfully compile. | ||||
| 2023-09-14 | found another place where we can eval() a const, and go through valtrees | Ralf Jung | -5/+0 | |
| 2023-09-13 | restore the old logic adjusting ty::UnevaluatedConst before evaluation | Ralf Jung | -1/+34 | |
| 2023-09-11 | Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obk | Matthias Krüger | -1/+8 | |
| Implement fallback for effect param r? `@oli-obk` or `@lcnr` tracking issue for this ongoing work: https://github.com/rust-lang/rust/issues/110395 | ||||
| 2023-09-10 | Implement fallback for effect param | Deadbeef | -1/+8 | |
| 2023-09-06 | Support a few more rvalues. | Camille GILLOT | -0/+5 | |
| 2023-07-30 | inline format!() args up to and including rustc_middle | Matthias Krüger | -2/+2 | |
| 2023-07-17 | Rollup merge of #113539 - agnarrarendelle:master, r=workingjubilee | Matthias Krüger | -1/+1 | |
| fixed typo Hi, I have fixed a few typos in commands. Please review my pr. | ||||
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -5/+5 | |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -1/+1 | |
| 2023-07-12 | fixed typos | agnarrarendelle | -1/+1 | |
| 2023-07-06 | Add a new trait to `Debug` things with an infcx available | Boxy | -2/+2 | |
| 2023-07-05 | Deal with fallout | Boxy | -8/+1 | |
| 2023-07-05 | move `ConstKind` to typeir and move inherent impls to `Const` | Boxy | -194/+3 | |
| 2023-06-01 | Use translatable diagnostics in `rustc_const_eval` | Deadbeef | -0/+9 | |
| 2023-05-16 | format `Const`'s less verbosely | Boxy | -2/+2 | |
| 2023-05-15 | Suppress "erroneous constant used" for constants tainted by errors | Tomasz Miąsko | -2/+2 | |
| When constant evaluation fails because its MIR is tainted by errors, suppress note indicating that erroneous constant was used, since those errors have to be fixed regardless of the constant being used or not. | ||||
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -7/+4 | |
| 2023-04-18 | Store hashes in special types so they aren't accidentally encoded as numbers | Ben Kimock | -3/+7 | |
| 2023-04-09 | Remove identity casts | Nilstrieb | -1/+1 | |
| 2023-04-01 | use and_then/flat_map for map().flatten() | Matthias Krüger | -1/+1 | |
| 2023-03-15 | unequal → not equal | gimbles | -7/+7 | |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -1/+1 | |
| 2023-02-18 | Auto merge of #107542 - ↵ | bors | -6/+4 | |
| compiler-errors:param-envs-with-inference-vars-are-cursed, r=jackh726 Don't call `with_reveal_all_normalized` in const-eval when `param_env` has inference vars in it **what:** This slightly shifts the order of operations from an existing hack: https://github.com/rust-lang/rust/blob/5b6ed253c42a69b93e7447fb0874a89ab6bc1cfb/compiler/rustc_middle/src/ty/consts/kind.rs#L225-L230 in order to avoid calling a tcx query (`TyCtxt::reveal_opaque_types_in_bounds`, via `ParamEnv::with_reveal_all_normalized`) when a param-env has inference variables in it. **why:** This allows us to enable fingerprinting of query keys/values outside of incr-comp in deubg mode, to make sure we catch other places where we're passing infer vars and other bad things into query keys. Currently that (bbf33836b9adfe4328aefa108c421e670a3923b7) crashes because we introduce inference vars into a param-env in the blanket-impl finder in rustdoc :sweat: https://github.com/rust-lang/rust/blob/5b6ed253c42a69b93e7447fb0874a89ab6bc1cfb/src/librustdoc/clean/blanket_impl.rs#L43 See the CI failure here: https://github.com/rust-lang/rust/actions/runs/4058194838/jobs/6984834619 | ||||
| 2023-02-15 | Use target instead of machine for mir interpreter integer handling. | Oli Scherer | -5/+5 | |
| The naming of `machine` only makes sense from a mir interpreter internals perspective, but outside users talk about the `target` platform | ||||
| 2023-02-01 | Don't call with_reveal_all_normalized in evaluate when param-env has ↵ | Michael Goulet | -6/+4 | |
| inference vars in it | ||||
| 2022-12-20 | rustc: Remove needless lifetimes | Jeremy Stucki | -1/+1 | |
| 2022-12-10 | compiler: remove unnecessary imports and qualified paths | KaDiWa | -3/+0 | |
| 2022-11-28 | Make `tcx.mk_const` more permissive wrt `kind` argument | Maybe Waffle | -0/+8 | |
| - Accept `impl Into` - Implement `From<>` for `ConstKind` Note: this adds a dependency on `derive_more` (MIT license). It allows to derive a lot of traits (like `From` here) that would be otherwise tedious to implement. | ||||
| 2022-11-27 | Auto merge of #103917 - oli-obk:layout_math, r=RalfJung,lcnr | bors | -0/+12 | |
| Various cleanups around scalar layout restrictions Pulled out of https://github.com/rust-lang/rust/pull/103724 | ||||
| 2022-11-25 | Add empty ConstKind::Abstract | kadmin | -1/+18 | |
| Initial pass at expr/abstract const/s Address comments Switch to using a list instead of &[ty::Const], rm `AbstractConst` Remove try_unify_abstract_consts Update comments Add edits Recurse more More edits Prevent equating associated consts Move failing test to ui Changes this test from incremental to ui, and mark it as failing and a known bug. Does not cause the compiler to ICE, so should be ok. | ||||
| 2022-11-25 | Add helper method to `ScalarInt` | Oli Scherer | -0/+12 | |
| 2022-11-16 | cleanup and dedupe CTFE and Miri error reporting | Ralf Jung | -2/+2 | |
| 2022-11-02 | deprecate DelaySpanBugEmitted and use ErrorGuaranteed directly | yukang | -1/+1 | |
| 2022-10-22 | Auto merge of #103227 - lcnr:bye-bye-unevaluated-const, r=oli-obk | bors | -1/+1 | |
| stop using `ty::UnevaluatedConst` directly best reviewed commit by commit. simplifies #99798 because we now don't have to expand `ty::UnevaluatedConst` to `ty::Const`. I also remember some other places where using `ty::UnevaluatedConst` directly was annoying and caused issues, though I don't quite remember what they were rn '^^ r? `@oli-obk` cc `@JulianKnodt` | ||||
| 2022-10-19 | Deny const variables as well | Michael Goulet | -1/+10 | |
| 2022-10-19 | stop folding `UnevaluatedConst` | lcnr | -1/+1 | |
| 2022-09-23 | rename Unevaluated to UnevaluatedConst | b-naber | -10/+13 | |
| 2022-09-22 | introduce mir::Unevaluated | b-naber | -21/+9 | |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -4/+7 | |
| Use only ty::Unevaluated<'tcx, ()> in type system r? `@lcnr` | ||||
| 2022-09-15 | Replace more manual TypeFoldable and TypeVisitable impls with derives | Oli Scherer | -1/+1 | |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -4/+7 | |
| 2022-09-08 | don't evaluate with escaping bound vars | lcnr | -0/+1 | |
| 2022-09-04 | Make `const_eval_select` a real intrinsic | Deadbeef | -1/+4 | |
| 2022-09-01 | Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1 | Gabriel Bustamante | -0/+6 | |
| 2022-07-26 | Allow try_to_raw_bytes on u8 array | Michael Goulet | -20/+14 | |
