summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2021-12-29Refactor variance diagnostics to work with more typesAaron Hill-1/+1
2021-12-21Fix bad caching of `~const Drop` boundsDeadbeef-0/+9
2021-12-20Auto merge of #91924 - Aaron1011:serialize-adt-def, r=michaelwoeristerbors-3/+3
2021-12-19Rollup merge of #91984 - Aaron1011:rustc-middle-lifetime, r=oli-obkMatthias Krüger-2/+2
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-2/+2
2021-12-15Fully serialize AdtDefAaron Hill-3/+3
2021-12-14Minor cleanupChase Wilson-3/+3
2021-12-14Added -Z layout_seed for allowing user-defined randomization seedsChase Wilson-1/+8
2021-12-12Small performance tweaksDeadbeef-0/+4
2021-12-12Remap more env constness for queriesDeadbeef-0/+4
2021-12-12Query modifierDeadbeef-0/+6
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-53/+77
2021-12-12Fix #91489Deadbeef-0/+5
2021-12-07Store impl_trait_fn inside OpaqueTyOrigin.Camille GILLOT-7/+11
2021-12-04Rollup merge of #90538 - camelid:doc-recur-ty, r=estebankMatthias Krüger-1/+1
2021-12-03Document how recursion is handled for `ty::Ty`Noah Lev-1/+1
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-77/+53
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-2/+2
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-5/+5
2021-12-01Cache with consistent env and boundDeadbeef-0/+18
2021-11-29Reformat everythingDeadbeef-1/+4
2021-11-29Fix toolsDeadbeef-2/+2
2021-11-29Always use const param envs for const eval.Oli Scherer-0/+5
2021-11-29Completely remove ConstnessAndOli Scherer-32/+8
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-4/+2
2021-11-29Add constness to ParamEnvOli Scherer-17/+39
2021-11-29Prepare for more ParamEnv flagsOli Scherer-10/+15
2021-11-26Make `TypeFoldable` implementors short-circuit on errorLeSeulArtichaut-2/+5
2021-11-09Add `ty::Visibility::is_public()`inquisitivecrystal-0/+4
2021-11-07Implement type inference for inline constsGary Guo-3/+4
2021-11-07Give inline const separate DefKindGary Guo-1/+2
2021-10-23Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakisbors-2/+63
2021-10-22Document flip polaritySantiago Pastorino-0/+4
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-2/+59
2021-10-15Move push_outlives_components to rustc_inferjackh726-1/+0
2021-10-12Filter unstable and doc hidden variants in usefulness checkingDevin Ragotzy-1/+9
2021-10-08Auto merge of #89619 - michaelwoerister:incr-vtables, r=nagisabors-0/+1
2021-10-07Turn tcx.vtable_allocation() into a query.Michael Woerister-0/+1
2021-10-05Auto merge of #89266 - cjgillot:session-ich, r=michaelwoeristerbors-2/+3
2021-10-04Rollup merge of #89453 - waywardmonkeys:consistent-supertrait-usage, r=nagisaJubilee-1/+1
2021-10-03Fully remove rustc_middle::ich.Camille GILLOT-0/+1
2021-10-03Remove re-export.Camille GILLOT-1/+1
2021-10-03Move rustc_middle::middle::cstore to rustc_session.Camille GILLOT-1/+1
2021-10-02Consistently use 'supertrait'.Bruce Mitchener-1/+1
2021-10-01Auto merge of #89449 - Manishearth:rollup-3alb61f, r=Manishearthbors-2/+2
2021-10-01Rollup merge of #89441 - Nadrieril:fix-89393, r=tmandryManish Goregaokar-2/+2
2021-10-01Auto merge of #88880 - cjgillot:no-krate, r=oli-obkbors-14/+0
2021-10-01Normalize after substituting via `field.ty()`Nadrieril-2/+2
2021-09-30Implemented -Z randomize-layoutChase Wilson-1/+37
2021-09-29Move body_owners to tcx.hir().Camille GILLOT-14/+0