summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2021-12-29Refactor variance diagnostics to work with more typesAaron Hill-20/+10
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-1/+1
2021-12-14Use `tcx.def_path_hash` in `ExistentialPredicate.stable_cmp`Aaron Hill-1/+1
2021-12-12Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk"Deadbeef-3/+1
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-1/+3
2021-12-02Auto merge of #91455 - matthiaskrgr:rollup-gix2hy6, r=matthiaskrgrbors-8/+11
2021-11-30re-format with new rustfmtMark Rousskov-8/+11
2021-11-29Completely remove ConstnessAndOli Scherer-3/+1
2021-11-26Make `TypeFoldable` implementors short-circuit on errorLeSeulArtichaut-0/+12
2021-11-25Rollup merge of #91096 - compiler-errors:elaborate_opaque_trait, r=estebankMatthias Krüger-1/+1
2021-11-23Derive Ord and PartialOrd for TraitRefMichael Goulet-1/+1
2021-11-22Use `derive_default_enum` in the compilerJacob Pratt-7/+2
2021-11-18fix CTFE/Miri simd_insert/extract on array-style repr(simd) typesRalf Jung-0/+5
2021-11-16Rollup merge of #90910 - RalfJung:const-discriminant-empty-enum, r=petrochenkovYuki Okushi-1/+3
2021-11-14fix getting the discriminant of a zero-variant enumRalf Jung-1/+3
2021-11-11Use `associated_item_def_ids` moreMatthew Jasper-4/+4
2021-11-07Implement type inference for inline constsGary Guo-0/+60
2021-10-20Add polarity to TraitPredicateSantiago Pastorino-0/+1
2021-09-24Rollup merge of #89001 - jackh726:binder-cleanup, r=nikomatsakisJubilee-2/+5
2021-09-17introduce new fallback algorithmNiko Matsakis-0/+8
2021-09-15Remove ToPolyTraitRef impl for TraitRefjackh726-2/+5
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-2/+2
2021-08-27Add `ty::BoundConstness`Deadbeef-1/+1
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-10/+10
2021-08-22Fix typos “an”→“a” and a few different ones that appeared in the sa...Frank Steffahn-1/+1
2021-08-22Fix typos “a”→“an”Frank Steffahn-2/+2
2021-08-13move Constness into TraitPredicateDeadbeef-1/+4
2021-07-05Convert `debug_assert!` to `assert!` in `Binder::dummy`Yuki Okushi-1/+1
2021-07-03Remove `ty::Binder::bind()`Yuki Okushi-8/+0
2021-06-27Derive `Copy` for `VarianceDiagInfo`Aaron Hill-2/+2
2021-06-23Use HTTPS links where possibleSmitty-2/+2
2021-06-06Add variance-related information to lifetime error messagesAaron Hill-0/+52
2021-06-05Auto merge of #85919 - workingjubilee:simd-ptrs-are-valid, r=petrochenkovbors-5/+0
2021-06-02Inline is_machine into check_simdJubilee Young-8/+0
2021-06-02Add `Ty::is_union` predicate and use itTomasz Miąsko-0/+5
2021-06-02Implement `Ty::is_enum` using `matches!`Tomasz Miąsko-4/+1
2021-06-01Allow raw pointers in SIMD typesJubilee Young-1/+4
2021-05-22Make THIR building a stealable queryLeSeulArtichaut-1/+1
2021-04-08Fix outdated crate names in compiler docspierwill-2/+2
2021-03-31Add var to BoundRegion. Add query to get bound vars for applicable items.Jack Huey-34/+33
2021-03-31Track bound varsJack Huey-43/+26
2021-03-31Add tcx lifetime to BinderJack Huey-41/+41
2021-03-31count bound varsJack Huey-6/+44
2021-03-31Add u32 for bound variables to BinderJack Huey-10/+11
2021-03-27Address more review commentsJoshua Nelson-0/+14
2021-03-27Remove (lots of) dead codeJoshua Nelson-80/+1
2021-03-26fix doc comment for `ty::Dynamiclcnr-1/+1
2021-03-06Change x64 size checks to not apply to x32.Harald van Dijk-1/+1
2021-02-26Miscellaneous inlining improvementsTomasz Miąsko-0/+4
2021-02-24Auto merge of #82159 - BoxyUwU:uwu, r=varkorbors-47/+0