about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/util
AgeCommit message (Expand)AuthorLines
2023-03-02Allow checking whether a type allows being uninitializedNilstrieb-1/+4
2023-02-27Unify all validity check intrinsicsNilstrieb-12/+22
2023-02-23Unify validity checks into a single queryNilstrieb-3/+3
2023-02-14Make permit_uninit/zero_init fallibleMichael Goulet-23/+17
2023-02-14Don't ICE in might_permit_raw_init if reference is polymorphicMichael Goulet-2/+7
2023-02-02Stop deaggegating MIR.Camille GILLOT-79/+0
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2023-01-26add method_substs to CallKindKyle Matsuda-1/+2
2023-01-23Thread a ParamEnv down to might_permit_raw_initBen Kimock-1/+2
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-1/+1
2022-12-15Make alignment checks a future incompat lintOli Scherer-2/+2
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-14Auto merge of #104986 - compiler-errors:opaques, r=oli-obkbors-2/+1
2022-12-13Combine identical alias armsMichael Goulet-2/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-2/+2
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-12-13Clarify what "this" meansOli Scherer-15/+3
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+0
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-2/+2
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-1/+2
2022-11-22Use `tcx.require_lang_item` instead of unwrappingMaybe Waffle-2/+2
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-1/+1
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-1/+1
2022-11-15use `ocx` type relation routineslcnr-3/+3
2022-11-15add comment about opaque typeslcnr-0/+3
2022-11-15mv utility methods into separate modulelcnr-0/+62
2022-11-01Format dyn Trait better in type_name intrinsicMichael Goulet-10/+2
2022-11-01Rollup merge of #103798 - RalfJung:type_name, r=oli-obkYuki Okushi-0/+199
2022-10-31interpret: move type_name implementation to an interpreter-independent helper...Ralf Jung-0/+199
2022-10-29Simplify lang item groupsCameron Steffen-9/+11
2022-10-05change might_permit_raw_init to fully detect LLVM UB, but not more than thatRalf Jung-0/+153
2022-08-03Auto merge of #100064 - RalfJung:disaligned, r=petrochenkovbors-16/+12
2022-08-03fix is_disaligned logic for nested packed structsRalf Jung-16/+12
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-3/+6
2022-07-01cleanup mir visitor for `rustc::pass_by_value`lcnr-2/+2
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-3/+3
2022-04-11Add new `Deinit` statement kindJakob Degen-26/+27
2022-03-30Spellchecking some commentsYuri Astrakhan-1/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-2/+2
2022-02-19rustc_const_eval: adopt let else in more placesest31-6/+3
2022-02-12Handle Fn family trait call errrorDeadbeef-2/+2
2022-02-12Rebased and improved errorsDeadbeef-3/+1
2022-02-12Improve error messages even moreDeadbeef-0/+147
2021-12-22Store a `DefId` instead of an `AdtDef` in `AggregateKind::Adt`Aaron Hill-1/+2
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-0/+225
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-13 07:49:34 +0000