summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2022-02-18Suggest `impl Trait` return typeNilstrieb-2/+22
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-8/+8
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-10/+51
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-66/+66
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-7/+0
2022-02-08Update compiler/rustc_middle/src/ty/sty.rslcnr-0/+2
2022-02-08Update compiler/rustc_middle/src/ty/sty.rslcnr-1/+1
2022-02-08update `ty::TyKind` documentationlcnr-19/+67
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+7
2022-02-02Update some commentsOli Scherer-0/+1
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-2/+2
2022-01-28fix nitlcnr-1/+1
2022-01-17Add term to ExistentialProjectionkadmin-7/+3
2022-01-17Update w/ commentskadmin-4/+3
2022-01-17Update term for use in more placeskadmin-1/+1
2022-01-17Use Term in ProjectionPredicatekadmin-3/+8
2022-01-15initial revertEllen-10/+10
2022-01-10Rollup merge of #92248 - compiler-errors:normalize-type-for-pointee, r=jackh726Matthias Krüger-3/+6
2021-12-29Refactor variance diagnostics to work with more typesAaron Hill-20/+10
2021-12-24Normalize struct tail type when checking Pointee traitMichael Goulet-3/+6
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-11-06Improve terminology around "after typeck"pierwill-2/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 17:58:50 +0000