summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
AgeCommit message (Expand)AuthorLines
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
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 14:07:04 +0000