about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
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
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-1/+1
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-1/+1
2022-11-04Refactor tcx mk_const parameters.Mateusz-1/+1
2022-11-02deprecate DelaySpanBugEmitted and use ErrorGuaranteed directlyyukang-1/+0
2022-10-19stop folding `UnevaluatedConst`lcnr-21/+0
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-2/+2
2022-09-24Rollup merge of #102088 - oli-obk:cleanups, r=bjorn3Matthias Krüger-1/+4
2022-09-23rename Unevaluated to UnevaluatedConstb-naber-5/+5
2022-09-22introduce mir::Unevaluatedb-naber-19/+3
2022-09-21Fix wrongly refactored Lift implOli Scherer-1/+4
2022-09-19do not implement type traversal for `EarlyBinder`lcnr-12/+0
2022-09-15Merge all `TypeVisitable for &List<T>` impls into one generic oneOli Scherer-20/+0
2022-09-15Replace more manual TypeFoldable and TypeVisitable impls with derivesOli Scherer-103/+10
2022-09-15Resolve a FIXMEOli Scherer-8/+4
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-330/+3
2022-09-14Auto merge of #101212 - eholk:dyn-star, r=compiler-errorsbors-4/+6
2022-09-13Better errors for implied static boundJack Huey-1/+15
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-4/+6
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-5/+8
2022-08-28More descriptive argument placeholdersMichael Goulet-0/+6
2022-07-26Rollup merge of #99353 - compiler-errors:gat-where-clause-mismatch, r=cjgillotYuki Okushi-0/+1
2022-07-24Combine redundant obligation cause codesMichael Goulet-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 23:40:58 +0000