summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
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
2022-07-22Inline `Predicate::has_vars_bound_at_or_above`Tomasz Miąsko-0/+1
2022-07-20consistently use VTable over Vtable (matching stable stdlib API RawWakerVTable)Ralf Jung-3/+3
2022-07-07Miscellaneous inlining improvementsTomasz Miąsko-0/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+2
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-1/+1
2022-07-05Explicit TypeVisitable implementationsAlan Egerton-0/+67
2022-07-05impl TypeVisitable in type traversal macrosAlan Egerton-3/+15
2022-06-19Move RegionKind to rustc_type_irJack Huey-24/+0
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-4/+4
2022-06-08Folding revamp.Nicholas Nethercote-124/+94
2022-06-08Add `try_fold_uenevaluted`.Nicholas Nethercote-10/+6
2022-06-08Remove `EarlyBinder::{try_fold_with,visit_with}`.Nicholas Nethercote-8/+0