about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
AgeCommit message (Expand)AuthorLines
2025-03-07compiler: Use size_of from the prelude instead of importedThalia Archibald-1/+1
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-0/+6
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-08Remove some unnecessary `.into()` callsEsteban Küber-2/+2
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-18/+13
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-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-3/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-04-16Avoid unnecessary `rustc_span::DUMMY_SP` usage.Nicholas Nethercote-5/+4
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-2/+2
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-5/+2
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-5/+4
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-4/+2
2024-02-14Use fewer delayed bugs.Nicholas Nethercote-3/+4
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-2/+2
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-2/+2
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-4/+4
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-6/+6
2023-09-14move required_consts check to general post-mono-check functionRalf Jung-4/+4
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-2/+2
2023-06-29change snapshot tracking in fulfillment contextslcnr-2/+2
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-1/+1
2023-06-19s/Clause/ClauseKindMichael Goulet-1/+1
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-05-15Suppress "erroneous constant used" for constants tainted by errorsTomasz Miąsko-2/+2
2023-04-20Remove WithOptconstParam.Camille GILLOT-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-01-30Use ObligationCtxt::new_in_snapshot in satisfied_from_param_envMichael Goulet-1/+1
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-1/+1
2023-01-09Clean upkadmin-23/+9
2023-01-09Check for duplicateskadmin-3/+15
2023-01-09Set !const_evaluatable if ambig. and not inferredkadmin-12/+10
2023-01-09Change based on commentskadmin-7/+26
2023-01-09Change commit_if_ok to probekadmin-8/+3
2022-12-18use &str / String literals instead of format!()Matthias Krüger-4/+4
2022-12-07Rollup merge of #105400 - BoxyUwU:braced_param_evaluatability, r=oli-obkMatthias Krüger-1/+1
2022-12-06normalize before matching on `ConstKind`Boxy-1/+1
2022-12-06typo :(Boxy-1/+1
2022-12-05support `Expr` in `is_const_evaluatable` and `compute`Boxy-18/+40
2022-11-25only emit "enable gce" error if it would fix compile errorBoxy-8/+17
2022-11-25Make `expand_abstract_consts` infallibleBoxy-5/+13
2022-11-25add FIXME'sBoxy-0/+7
2022-11-25dont skip const evalautable of non unevaluatedsBoxy-6/+1
2022-11-25add FIXME for things that I couldn't find ways to triggerBoxy-0/+1