summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
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
2022-06-08Rename `TypeVisitor::visit_unevaluated_const`.Nicholas Nethercote-2/+2
2022-05-13Add bound_fn_sigJack Huey-0/+21
2022-04-17Stop using CRATE_DEF_INDEX.Camille GILLOT-2/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-3/+3
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-1/+1
2022-02-24Auto merge of #94131 - Mark-Simulacrum:fmt-string, r=oli-obkbors-8/+14
2022-02-21optimize `TypeFoldable` for 2 element tupleslcnr-13/+0
2022-02-20Always format to internal String in FmtPrinterMark Rousskov-8/+14
2022-02-20Auto merge of #94062 - Mark-Simulacrum:drop-print-cfg, r=oli-obkbors-9/+9
2022-02-17Improve comments about type folding/visiting.Nicholas Nethercote-8/+11
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-9/+9
2022-02-15Overhaul `Const`.Nicholas Nethercote-8/+8
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-4/+4
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-11add tainted_by_errors to mir::BodyMichael Goulet-0/+1
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-6/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+6
2022-01-17Add term to ExistentialProjectionkadmin-1/+1
2022-01-17Use Term in ProjectionPredicatekadmin-4/+14
2022-01-17Auto merge of #92816 - tmiasko:rm-llvm-asm, r=Amanieubors-1/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 21:44:24 +0000