about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
AgeCommit message (Expand)AuthorLines
2022-11-25fmtBoxy-1/+1
2022-11-25handle nested obligations in `satisfied_from_param_env`Boxy-26/+34
2022-11-25Add expand_abstract_constkadmin-49/+38
2022-11-25Add empty ConstKind::Abstractkadmin-171/+64
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-12/+0
2022-10-29avoid unnecessary `&str` to `String` conversionsTakayuki Maeda-6/+6
2022-10-18`const_evaluatable_unchecked` to const evallcnr-21/+1
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-2/+11
2022-10-14more dupe word typosRageking8-1/+1
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-2/+2
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-3/+3
2022-10-01Refactor rustc lint APIMaybe Waffle-22/+26
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-2/+2
2022-09-22introduce mir::Unevaluatedb-naber-2/+2
2022-09-13use ty::Unevaluated<'tcx, ()> in type systemb-naber-2/+2
2022-07-25handle consts with param/infer in const_eval_resolve betterMichael Goulet-13/+4
2022-07-22Do not resolve associated const when there is no provided valueMichael Goulet-3/+12
2022-07-14Fix overlapping implskadmin-29/+139
2022-07-12Move abstract const to rustc_middle::tykadmin-615/+5
2022-07-09don't allow ZST in ScalarIntRalf Jung-0/+4
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-06-29Erase regions in new abstract constskadmin-1/+2
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-6/+3
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-5/+5
2022-06-13remove unnecessary `to_string` and `String::new`Takayuki Maeda-1/+1
2022-05-24Coalesce brancheskadmin-137/+132
2022-05-17Add tests for lint on type dependent on constskadmin-0/+3
2022-05-10Introduce EarlyBinderJack Huey-3/+5
2022-04-13Auto merge of #94255 - b-naber:use-mir-constant-in-thir, r=oli-obkbors-0/+1
2022-04-08Avoid looking at the internals of Interned directlyOli Scherer-9/+6
2022-04-06get rid of visit_constant in thir visitorb-naber-4/+0
2022-04-02rebase and use ty::Const in patterns againb-naber-52/+0
2022-04-02do use ty::Const in patterns and abstract constsb-naber-9/+8
2022-04-02change thir to use mir::ConstantKind instead of ty::Constb-naber-3/+61
2022-03-30Spellchecking compiler commentsYuri Astrakhan-2/+2
2022-03-27Make fatal DiagnosticBuilder yield neverMichael Goulet-2/+1
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-77/+110
2022-03-23dont use a query for lit_to_constantb-naber-1/+1
2022-03-23use NonHirLiteral instead of ScalarLiteral, move pattern related code to pat_...b-naber-12/+17
2022-03-23move ExprKind::Repeat arm to expr_is_polyb-naber-10/+10
2022-03-23use ParamConst in ExprKind::ConstParamb-naber-2/+6
2022-03-23remove thir::Visitor::visit_constb-naber-8/+18
2022-03-23change thir to lazily create constantsb-naber-8/+60
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-8/+4
2022-03-22dont canonicalize in try_unify_abstract_consts and erase regions insteadb-naber-21/+12
2022-03-22fix previous failures and address reviewb-naber-96/+112
2022-03-21try to evaluate in try_unifyb-naber-29/+59
2022-03-16rustc_error: make ErrorReported impossible to constructmark-14/+13
2022-03-10Rollup merge of #94440 - compiler-errors:issue-94282, r=lcnrMatthias Krüger-25/+63
2022-03-09suggest enabling generic_const_exprs feature if const is unevaluatableMichael Goulet-25/+63
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 21:49:15 +0000