about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-7/+16
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-11/+11
2023-08-18Add missing instantiation of generator ty in validatorGary Guo-1/+1
2023-08-18Add MIR validation for unwind out from nounwind functionsGary Guo-7/+41
2023-08-17Revert "Implement references VarDebugInfo."Camille GILLOT-6/+0
2023-08-16Make TerminatorEdge plural.Camille GILLOT-2/+2
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-5/+8
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-3/+2
2023-08-06lower impl const to bind to host effect paramDeadbeef-11/+7
2023-08-02Remove constness from `TraitPredicate`Deadbeef-3/+3
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-2/+3
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-18/+28
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-39/+30
2023-07-25Make everything builtin!Michael Goulet-3/+6
2023-07-21Reuse MIR validator for inliner.Camille GILLOT-1/+1
2023-07-21Make type validation buffer errors.Camille GILLOT-25/+24
2023-07-21Separate CFG validation from type validation.Camille GILLOT-181/+297
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-51/+50
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-14/+16
2023-07-07Rename `adjustment::PointerCast` and variants using it to `PointerCoercion`Nilstrieb-9/+9
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