summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2023-05-16format `Const`'s less verboselyBoxy-0/+38
2023-05-13Implement references VarDebugInfo.Camille GILLOT-0/+1
2023-04-27Rollup merge of #110838 - nnethercote:more-Folder-Visitable-cleanups, r=lcnrMatthias Krüger-20/+0
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-20/+0
2023-04-25vars are ?Michael Goulet-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-17Rollup merge of #110386 - nnethercote:clean-up-traversal-macros, r=lcnrMatthias Krüger-3/+1
2023-04-16Simplify `CloneLiftImpls` and `TrivialTypeTraversalImpls`.Nicholas Nethercote-3/+1
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-18/+0
2023-04-06Remove index from BrAnonJack Huey-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-2/+2
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-2/+2
2023-03-23Printing alias-relate goals correctlyMichael Goulet-2/+3
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-1/+3
2023-02-26Access upvars through a query.Camille GILLOT-0/+1
2023-02-24Rename `mk_{ty,region}` as `mk_{ty,region}_from_kind`.Nicholas Nethercote-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-4/+4
2023-02-22Remove type-traversal trait aliasesAlan Egerton-54/+113
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-1/+1
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-3/+3
2023-02-13Move folding and visiting traits into type libraryAlan Egerton-226/+19
2023-02-13Make atomic structural impls generic over InternerAlan Egerton-45/+45
2023-02-13Make folding traits generic over the InternerAlan Egerton-24/+24
2023-02-13Make visiting traits generic over the InternerAlan Egerton-23/+25
2023-02-13Split TypeVisitableExt from TypeVisitableAlan Egerton-10/+0
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-40/+40
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+1
2023-01-30Track bound types like bound regionsMichael Goulet-0/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+4
2023-01-27Impl HashStable/Encodable/Decodable for ObligationCause.Camille GILLOT-0/+1
2023-01-26Auto merge of #105582 - saethlin:instcombine-assert-inhabited, r=cjgillotbors-0/+7
2023-01-23Thread a ParamEnv down to might_permit_raw_initBen Kimock-0/+7
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-4/+4
2023-01-17Rollup merge of #106980 - Nilstrieb:_use_mk_manual_debug_impl_instead, r=lcnrMatthias Krüger-1/+10
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-2/+2
2023-01-17Hide `_use_mk_alias_ty_instead` in `<AliasTy as Debug>::fmt`nils-1/+10
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-0/+1
2022-12-18Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb-6/+0
2022-12-13Combine identical alias armsMichael Goulet-10/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-5/+9
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-3/+3
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-2/+4
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-0/+6
2022-11-25Add empty ConstKind::Abstractkadmin-0/+6
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-4/+12