about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/util
AgeCommit message (Expand)AuthorLines
2023-10-31Turn const_caller_location from a query to a hookOli Scherer-5/+8
2023-10-28interpret: call caller_location logic the same way codegen does, and share so...Ralf Jung-0/+64
2023-10-21Make `ty::print::Printer` take `&mut self` instead of `self`Nilstrieb-37/+39
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-10-17Remove `Print::Error`Nilstrieb-1/+1
2023-10-17Remove `Printer::Error`Nilstrieb-19/+17
2023-10-17Remove `Print::Output`Nilstrieb-1/+1
2023-10-17Remove "subprinter" types from `Printer`Nilstrieb-18/+12
2023-10-07Auto merge of #115583 - RalfJung:packed-unsized, r=lcnrbors-1/+9
2023-10-02have better explanation for `relate_types`ouz-a-3/+3
2023-10-02change is_subtype to relate_typesouz-a-5/+11
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+1
2023-09-06still accept references to u8 slices and str in packed fieldsRalf Jung-2/+8
2023-09-05fix detecting references to packed unsized fieldsRalf Jung-1/+3
2023-09-04interpret: make MemPlace, Place, Operand types private to the interpreterRalf Jung-1/+1
2023-08-24MIR validation: reject in-place argument/return for packed fieldsRalf Jung-2/+3
2023-07-27Turns out opaque types can have hidden types registered during mir validationOli Scherer-6/+9
2023-07-21Double check that hidden types match the expected hidden typeOli Scherer-3/+8
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-7/+6
2023-07-01Put `LayoutError` behind reference to shrink resultNilstrieb-3/+3
2023-06-24Add enum for `can_access_statics` booleanNilstrieb-3/+2
2023-06-19Dedup some type checks in the MIR validatorScott McMurray-0/+26
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-6/+2
2023-05-25Move DefiningAnchorMichael Goulet-2/+2
2023-05-22properly pretty-print inherent projectionsLeón Orell Valerian Liehr-1/+2
2023-04-16Move some utils out of `rustc_const_eval`Nilstrieb-214/+0
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