about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/consts.rs
AgeCommit message (Expand)AuthorLines
2023-05-16format `Const`'s less verboselyBoxy-10/+0
2023-05-14Rename const error methods for consistencyMichael Goulet-4/+2
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-16/+6
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-1/+1
2023-03-21Use local key in providersMichael Goulet-3/+3
2023-03-09Use param's real type in try_eval_lit_or_paramMichael Goulet-3/+6
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-1/+1
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-1/+1
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-18Move late-bound arg type checks to resolve_bound_varsMichael Goulet-0/+3
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-1/+4
2023-02-16changes from reviewKyle Matsuda-1/+4
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-9/+22
2023-02-16A bit more work on late-bound constsMichael Goulet-9/+22
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-1/+1
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-4/+8
2023-01-14change const_param_default query to return EarlyBinder; remove bound_const_pa...Kyle Matsuda-2/+2
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-12-16Make a field only as public as it needs to beOli Scherer-1/+1
2022-12-16Rename ConstS to ConstDataOli Scherer-4/+4
2022-11-28Remove `Const::from_scalar_int`Maybe Waffle-6/+4
2022-11-28Remove `Const::from_value`Maybe Waffle-10/+3
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-4/+4
2022-11-19deduplicate constant evaluation in cranelift backendRalf Jung-15/+0
2022-11-13Store a LocalDefId in hir::AnonConst.Camille GILLOT-2/+2
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-6/+4
2022-11-10Use const_error_with_guaranteed moreMichael Goulet-3/+2
2022-11-04Refactor tcx mk_const parameters.Mateusz-8/+5
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-0/+4
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-1/+1
2022-09-22introduce mir::Unevaluatedb-naber-1/+0
2022-09-19remove `ty::Const::from_inline_const`lcnr-44/+1
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-3/+3
2022-09-01tracing::instrument cleanupOli Scherer-2/+0
2022-07-25Deeply deny fn and raw ptrs in const genericsMichael Goulet-1/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-14rebaseb-naber-2/+2
2022-06-14fix clippy test failuresb-naber-0/+8
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-10/+25
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-12/+12
2022-04-13Inline Const::ty() and Const::val() gettersMartin Gammelsæter-0/+2
2022-03-16rustc_error: make ErrorReported impossible to constructmark-1/+1
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-2/+2
2022-02-25Switch bootstrap cfgsMark Rousskov-1/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-33/+55
2022-01-18Rollup merge of #92780 - b-naber:postpone-const-eval-coherence, r=lcnrMatthias Krüger-9/+12
2022-01-17Update term for use in more placeskadmin-4/+8