summaryrefslogtreecommitdiff
path: root/compiler/rustc_type_ir
Commit message (Expand)AuthorAgeFilesLines
* Implement references VarDebugInfo.Camille GILLOT2023-05-131-0/+1
* Rollup merge of #111366 - obeis:ascribe-user-type-variance, r=lcnrMichael Goulet2023-05-111-1/+1
|\
| * Make `NonUseContext::AscribeUserTy` carry `ty::Variance`Obei Sideg2023-05-101-1/+1
* | IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr2023-05-042-12/+16
|/
* Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnrMatthias Krüger2023-04-271-28/+7
|\
| * Add a comment about `TypeFoldable` and slices.Nicholas Nethercote2023-04-271-0/+4
| * Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote2023-04-261-28/+3
* | rename `needs_subst` to `has_param`Boxy2023-04-271-1/+1
* | rename `needs_infer` to `has_infer`Boxy2023-04-271-1/+1
* | Auto merge of #110634 - saethlin:pointy-decoder, r=cjgillotbors2023-04-261-4/+3
|\ \
| * | Rewrite MemDecoder around pointers not a sliceBen Kimock2023-04-231-4/+3
* | | vars are ?Michael Goulet2023-04-251-3/+3
| |/ |/|
* | Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle2023-04-241-1/+1
* | Print ty placeholders prettyMichael Goulet2023-04-221-0/+10
|/
* Rollup merge of #110386 - nnethercote:clean-up-traversal-macros, r=lcnrMatthias Krüger2023-04-172-165/+34
|\
| * Remove `EnumTypeTraversalImpl`.Nicholas Nethercote2023-04-162-165/+34
* | Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote2023-04-162-31/+34
|/
* Fix typos in compilerDaniPopes2023-04-101-1/+1
* Generate simpler MIR for shiftsScott McMurray2023-03-221-0/+22
* Rollup merge of #109047 - tshepang:type, r=lcnrMatthias Krüger2023-03-121-1/+1
|\
| * typoTshepang Mbambo2023-03-121-1/+1
* | Address the new odd backticks tidy lint in compiler/est312023-03-111-1/+1
|/
* make first component of dyn* use pointer layout+type, and adjust DynStar commentRalf Jung2023-02-181-5/+3
* Clarify iterator interners.Nicholas Nethercote2023-02-171-29/+33
* Remove the `InternIteratorElement` impl for `&'a T`.Nicholas Nethercote2023-02-171-11/+0
* simplify some refsMatthias Krüger2023-02-151-3/+3
* Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgrbors2023-02-142-68/+4
|\
| * Refactor refcounted structural_impls via functorsAlan Egerton2023-02-142-68/+4
* | Ord entails its supertraitsAlan Egerton2023-02-141-25/+25
|/
* Rename folder traits' `tcx` method to `interner`Alan Egerton2023-02-131-4/+4
* Move folding and visiting traits into type libraryAlan Egerton2023-02-135-0/+778
* Constrain Interners to be SizedAlan Egerton2023-02-131-1/+1
* Project Binder and Predicate from Interner traitAlan Egerton2023-02-131-0/+2
* Fix `RegionKind: PartialEq` to account for `ReError`Esteban Küber2023-02-091-1/+2
* Change to `ReError(ErrorGuaranteed)`Esteban Küber2023-02-091-8/+10
* Introduce `ReError`Esteban Küber2023-02-091-1/+11
* Auto merge of #107717 - nnethercote:opt-TyKind-eq, r=compiler-errorsbors2023-02-091-41/+45
|\
| * Optimize `TyKind::eq`.Nicholas Nethercote2023-02-071-41/+45
* | ReErased regions are localLukas Markeffsky2023-02-051-1/+2
|/
* Separate witness type computation from the generator transform.Camille GILLOT2023-01-271-1/+1
* Introduce GeneratorWitnessMIR.Camille GILLOT2023-01-272-0/+56
* Remove double spaces after dots in commentsMaybe Waffle2023-01-171-1/+1
* Add type flags support for Ty and Const late-bound regionsMichael Goulet2023-01-081-6/+14
* Fix `uninlined_format_args` for some compiler cratesnils2023-01-052-9/+9
* A few small cleanups for `newtype_index`Nilstrieb2022-12-181-5/+3
* Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb2022-12-181-3/+3
* more clippy::complexity fixesMatthias Krüger2022-12-151-6/+6
* Combine identical alias armsMichael Goulet2022-12-131-5/+5
* Combine projection and opaque into aliasMichael Goulet2022-12-132-62/+33
* ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet2022-12-131-2/+1