about summary refs log tree commit diff
path: root/src/librustc/ty/wf.rs
AgeCommit message (Expand)AuthorLines
2019-04-26Update handling of Tuplevarkor-1/+1
2019-03-16Revert the `LazyConst` PROliver Scherer-2/+3
2019-03-12ignore higher-ranked WF requirements for trait objectsNiko Matsakis-2/+1
2019-02-27rename Substs to InternalSubstscsmoe-2/+2
2019-02-13HirId-ify hir::BodyIdljedrz-5/+5
2019-02-10rustc: doc commentsAlexander Regueiro-2/+2
2019-02-05move librustc to 2018Mark Mansi-6/+6
2019-01-05Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakisbors-1/+1
2019-01-04add support for principal-less trait object typesAriel Ben-Yehuda-1/+1
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-7/+4
2018-12-30Stop well-formedness checking unreachable code.David Wood-1/+6
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+1
2018-11-03Shift both late bound regions and bound typesscalexm-7/+7
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-0/+1
2018-10-13Check the invariant for `principal` inside the methodOliver Scherer-1/+1
2018-10-05Auto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavisbors-2/+3
2018-10-04rename skolemized to placeholderNiko Matsakis-1/+1
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+2
2018-10-03rustc/ty: improve allocationsljedrz-0/+1
2018-10-03rustc/ty: whitespace fixesljedrz-2/+2
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-1/+1
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-6/+6
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-2/+2
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-18/+18
2018-08-22Rename ty::Slice to ty::Listvarkor-2/+2
2018-07-18Prepare for using wfcheck on existential typesOliver Schneider-1/+7
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-13/+10
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-3/+3
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-2/+3
2018-03-14remove defaulting to unitAndrew Cann-1/+1
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-24/+2
2018-03-08Add a variant to ConstVal for storing miri resultsOliver Schneider-0/+1
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-4/+0
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-0/+1
2017-11-20extend comment further to explain why we limit wf to `upvar_tys`Niko Matsakis-0/+9
2017-11-18comment wf moreNiko Matsakis-15/+27
2017-11-18move the signature into the closure typeNiko Matsakis-1/+16
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-1/+2
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-1/+46
2017-09-11rustc: use ty::Const for the length of TyArray.Eduard-Mihai Burtescu-2/+11
2017-08-25Merge remote-tracking branch 'origin/master' into genAlex Crichton-5/+47
2017-08-25Change to `Elaborate::None` inside `compute_projection`scalexm-1/+1
2017-08-23add a commentNiko Matsakis-0/+23
2017-08-10Do not elaborate trait obligations in where clausesscalexm-12/+21
2017-08-10Elaborate trait obligations when typechecking implsscalexm-7/+6
2017-08-10Fix for the supertrait example in #43784scalexm-0/+11
2017-07-28Generator literal supportJohn Kåre Alsaker-2/+2
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-3/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 17:58:36 +0000