about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/consts.rs
AgeCommit message (Expand)AuthorLines
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
2024-04-19Auto merge of #124113 - RalfJung:interpret-scalar-ops, r=oli-obkbors-1/+1
2024-04-19ScalarInt: add methods to assert being a (u)int of given sizeRalf Jung-1/+1
2024-04-18Simplify `static_assert_size`s.Nicholas Nethercote-1/+4
2024-04-03Check `x86_64` size assertions on `aarch64`, tooZalathar-1/+1
2024-03-27Remove `Ord` from `Ty`, `Const`, and `Region`Oli Scherer-2/+2
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-5/+5
2024-03-04Allow a way to add constructors for rustc_type_ir typesMichael Goulet-0/+13
2024-02-13Uplift TypeVisitableExt into rustc_type_irMichael Goulet-0/+12
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-01-30Move predicate, region, and const stuff into their own modules in middleMichael Goulet-1/+2
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+3
2023-12-15NFC: do not clone types that are copyMatthias Krüger-1/+1
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-2/+2
2023-12-12Auto merge of #118841 - compiler-errors:always-copy, r=jackh726bors-1/+2
2023-12-12Make ConstKind and TyKind CopyMichael Goulet-1/+2
2023-12-11remove some redundant clonesMatthias Krüger-1/+1
2023-12-08FeedbackMichael Goulet-4/+4
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-1/+15
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-2/+2
2023-12-02fix an ICE when a valtree failed to evaluateRalf Jung-2/+10
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-25Remove mir::Const::from_anon_constMichael Goulet-0/+4
2023-11-22Cache flags for ty::ConstMichael Goulet-1/+12
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-5/+3
2023-11-04No lifetime on PlaceholderConstMichael Goulet-1/+1