about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/consts.rs
AgeCommit message (Expand)AuthorLines
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-5/+9
2025-06-24Introduce trivial WF functions, use it in fast pathMichael Goulet-0/+13
2025-06-13Uplift BoundVarReplacerMichael Goulet-0/+4
2025-05-22Review CommentsBoxy-2/+7
2025-05-21Introduce `tcx.anon_const_kind` queryBoxy-1/+9
2025-04-12Move FlagComputation, PatternKind, and TypeWalker to rustc_type_irjackh726-0/+15
2025-03-15Fold visit into tyMichael Goulet-1/+1
2025-02-13intern valtreesLukas Markeffsky-3/+3
2025-01-30add commentsLukas Markeffsky-0/+6
2025-01-30check the types in `ty::Value` to value conversionLukas Markeffsky-7/+0
2025-01-30introduce `ty::Value`Lukas Markeffsky-27/+11
2024-12-02Move `Const::{from_anon_const,try_from_lit}` to hir_ty_loweringNoah Lev-82/+2
2024-11-24Simplify array length mismatch error reportingMichael Goulet-4/+0
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-95/+9
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-11/+16
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-57/+2
2024-10-22Rollup merge of #131049 - compiler-errors:more-validation, r=spastorinoMatthias Krüger-0/+1
2024-10-19Rename normalize to normalize_internal, remove unnecessary usagesMichael Goulet-1/+1
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-100/+32
2024-10-01make InterpResult a dedicated type to avoid accidentally discarding the errorRalf Jung-1/+1
2024-09-30Debug assert that unevaluated consts have the right substsMichael Goulet-0/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-8/+5
2024-09-20Only expect mono consts in CFIMichael Goulet-0/+4
2024-09-12Re-enable `ConstArgKind::Path` lowering by defaultNoah Lev-13/+5
2024-09-11clippy::useless_conversionMichael Goulet-1/+1
2024-08-19Retroactively feature gate `ConstArgKind::Path`Boxy-10/+22
2024-08-16Special-case alias ty in `try_from_lit`Jaic1-0/+4
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+5
2024-07-19Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwUbors-41/+85
2024-07-18const_to_pat: cleanup leftovers from when we had to deal with non-structural ...Ralf Jung-14/+38
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-2/+1
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-10/+9
2024-07-16Use `ConstArg` for const param defaultsNoah Lev-4/+4
2024-07-16Setup ty::Const functions for `ConstArg`Noah Lev-36/+81
2024-06-18Uplift the new trait solverMichael Goulet-1/+5
2024-06-10ScalarInt: size mismatches are a bug, do not delay the panicRalf Jung-3/+3
2024-06-06Uplift TypeRelation and RelateMichael Goulet-0/+8
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-25/+22
2024-06-05Basic removal of `Ty` from places (boring)Boxy-96/+48
2024-06-04Downsize `ty::Expr`Boxy-2/+2
2024-05-26Uplift EarlyBinderMichael Goulet-0/+9
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-1/+4
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-20Rework var resolution in InferCtxtLike, uplift EagerResolverMichael Goulet-0/+8
2024-05-13Remove to_termMichael Goulet-4/+0
2024-05-13Uplift AliasTyMichael Goulet-3/+15
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-9/+7
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-2/+2
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-25 17:15:06 +0000