summaryrefslogtreecommitdiff
path: root/compiler/rustc_const_eval/src/util
Commit message (Expand)AuthorAgeFilesLines
* Move some utils out of `rustc_const_eval`Nilstrieb2023-04-164-214/+0
* Allow checking whether a type allows being uninitializedNilstrieb2023-03-021-1/+4
* Unify all validity check intrinsicsNilstrieb2023-02-272-12/+22
* Unify validity checks into a single queryNilstrieb2023-02-231-3/+3
* Make permit_uninit/zero_init fallibleMichael Goulet2023-02-141-23/+17
* Don't ICE in might_permit_raw_init if reference is polymorphicMichael Goulet2023-02-141-2/+7
* Stop deaggegating MIR.Camille GILLOT2023-02-022-79/+0
* Introduce GeneratorWitnessMIR.Camille GILLOT2023-01-271-0/+1
* add method_substs to CallKindKyle Matsuda2023-01-261-1/+2
* Thread a ParamEnv down to might_permit_raw_initBen Kimock2023-01-231-1/+2
* Assert defining anchor is set in take_opaque_typesMichael Goulet2023-01-091-1/+1
* Make alignment checks a future incompat lintOli Scherer2022-12-151-2/+2
* Ensure no one constructs `AliasTy`s themselvesOli Scherer2022-12-141-1/+1
* Auto merge of #104986 - compiler-errors:opaques, r=oli-obkbors2022-12-141-2/+1
|\
| * Combine identical alias armsMichael Goulet2022-12-131-2/+1
| * Combine projection and opaque into aliasMichael Goulet2022-12-131-2/+2
| * squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet2022-12-131-2/+2
| * ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet2022-12-131-1/+1
| * Use ty::OpaqueTy everywhereMichael Goulet2022-12-131-1/+1
* | Clarify what "this" meansOli Scherer2022-12-131-15/+3
|/
* compiler: remove unnecessary imports and qualified pathsKaDiWa2022-12-101-1/+0
* Make ObligationCtxt::normalize take cause by borrowMichael Goulet2022-11-281-2/+2
* Prefer doc comments over `//`-comments in compilerMaybe Waffle2022-11-271-1/+2
* Use `tcx.require_lang_item` instead of unwrappingMaybe Waffle2022-11-221-2/+2
* Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger2022-11-211-1/+1
|\
| * drive-by: PolyExistentialPredicateMichael Goulet2022-11-191-1/+1
* | use `ocx` type relation routineslcnr2022-11-151-3/+3
* | add comment about opaque typeslcnr2022-11-151-0/+3
* | mv utility methods into separate modulelcnr2022-11-152-0/+62
|/
* Format dyn Trait better in type_name intrinsicMichael Goulet2022-11-011-10/+2
* Rollup merge of #103798 - RalfJung:type_name, r=oli-obkYuki Okushi2022-11-012-0/+199
|\
| * interpret: move type_name implementation to an interpreter-independent helper...Ralf Jung2022-10-312-0/+199
* | Simplify lang item groupsCameron Steffen2022-10-291-9/+11
|/
* change might_permit_raw_init to fully detect LLVM UB, but not more than thatRalf Jung2022-10-052-0/+153
* Auto merge of #100064 - RalfJung:disaligned, r=petrochenkovbors2022-08-031-16/+12
|\
| * fix is_disaligned logic for nested packed structsRalf Jung2022-08-031-16/+12
* | Remove DefId from AssocItemContainer.Camille GILLOT2022-08-011-3/+6
|/
* cleanup mir visitor for `rustc::pass_by_value`lcnr2022-07-011-2/+2
* rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov2022-05-021-3/+3
* Add new `Deinit` statement kindJakob Degen2022-04-111-26/+27
* Spellchecking some commentsYuri Astrakhan2022-03-301-1/+1
* Improve `AdtDef` interning.Nicholas Nethercote2022-03-112-2/+2
* rustc_const_eval: adopt let else in more placesest312022-02-191-6/+3
* Handle Fn family trait call errrorDeadbeef2022-02-121-2/+2
* Rebased and improved errorsDeadbeef2022-02-121-3/+1
* Improve error messages even moreDeadbeef2022-02-122-0/+147
* Store a `DefId` instead of an `AdtDef` in `AggregateKind::Adt`Aaron Hill2021-12-221-1/+2
* Rename rustc_mir to rustc_const_eval.Camille GILLOT2021-09-075-0/+225
View Lorry Controller Status