about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2023-07-07Auto merge of #113308 - compiler-errors:poly-select, r=lcnrbors-14/+9
2023-07-06Rollup merge of #111917 - WaffleLapkin:validate_unalloc, r=oli-obkMichael Goulet-14/+9
2023-07-06Separate select calls that don't need a binderMichael Goulet-14/+9
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-3/+4
2023-06-28remove FIXME and add testJames Dietz-2/+0
2023-06-28add check for ConstKind::Value(_)James Dietz-2/+7
2023-06-27Auto merge of #112693 - ericmarkmartin:use-more-placeref, r=spastorinobors-16/+12
2023-06-25use PlaceRef abstractions more consistentlyEric Mark Martin-16/+12
2023-06-20address most easy commentsZiru Niu-7/+5
2023-06-20merge `BorrowKind::Unique` into `BorrowKind::Mut`Ziru Niu-4/+5
2023-06-19Rollup merge of #112232 - fee1-dead-contrib:match-eq-const-msg, r=b-naberMichael Goulet-49/+63
2023-06-19Dedup some type checks in the MIR validatorScott McMurray-50/+27
2023-06-19Promote unchecked_add/sub/mul/shl/shr to mir::BinOpScott McMurray-2/+25
2023-06-18Auto merge of #112638 - lqd:rpo, r=cjgillotbors-5/+2
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-49/+63
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-1/+5
2023-06-17Simplify even more candidatesMichael Goulet-2/+7
2023-06-17Simplify some impl source candidatesMichael Goulet-1/+1
2023-06-14inline explicit rpo access in promote constsRémy Rakic-5/+2
2023-06-08Auto merge of #108293 - Jarcho:mut_analyses, r=eholkbors-3/+3
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-79/+54
2023-05-29unique borrows are mutating useslcnr-3/+1
2023-05-24Simplify duplicate checks for mir validatorMaybe Waffle-14/+9
2023-05-24Use `is_some_and`/`is_ok_and` in less obvious spotsMaybe Waffle-1/+1
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-2/+2
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-3/+3
2023-05-14Start node has no immediate dominatorTomasz Miąsko-1/+1
2023-05-13Implement references VarDebugInfo.Camille GILLOT-1/+9
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-11/+11
2023-05-01Rollup merge of #110823 - compiler-errors:tweak-await-span, r=b-naberMatthias Krüger-0/+3
2023-04-28Rollup merge of #110766 - m-ou-se:fmt-rt, r=jyn514Matthias Krüger-1/+1
2023-04-27Don't call await a methodMichael Goulet-0/+3
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-7/+2
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-1/+2
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-2/+6
2023-04-24Remove "V1" from ArgumentsV1 and FlagsV1.Mara Bos-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-2/+2
2023-04-22Auto merge of #104844 - cjgillot:mention-eval-place, r=jackh726,RalfJungbors-8/+1
2023-04-22Auto merge of #106934 - DrMeepster:offset_of, r=WaffleLapkinbors-5/+51
2023-04-21Actually keep `PlaceMention` if requested.Camille GILLOT-8/+1
2023-04-21intern offsetof fieldsDrMeepster-1/+1
2023-04-21offset_ofDrMeepster-5/+51
2023-04-20Remove WithOptconstParam.Camille GILLOT-6/+5
2023-04-19Auto merge of #110393 - fee1-dead-contrib:rm-const-traits, r=oli-obkbors-2/+3
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-16Move some utils out of `rustc_const_eval`Nilstrieb-1/+1
2023-04-16revive raw pointer comp errorDeadbeef-2/+3
2023-04-09Fix transmute intrinsic mir validation ICEJakob Degen-2/+10
2023-04-06Address review feedbackGary Guo-15/+23