about summary refs log tree commit diff
path: root/src/librustc/ty/relate.rs
AgeCommit message (Expand)AuthorLines
2019-04-26Update handling of Tuplevarkor-1/+3
2019-03-16Revert the `LazyConst` PROliver Scherer-5/+5
2019-03-15rustc: remove fmt::{Debug,Display} from ty::TyKind.Eduard-Mihai Burtescu-4/+2
2019-03-05Handle const generics elsewherevarkor-0/+3
2019-02-27Rename variadic to c_variadicDan Robertson-3/+3
2019-02-26replace &'tcx Substs with SubstsRefcsmoe-11/+11
2019-02-10rustc: doc commentsAlexander Regueiro-1/+1
2019-02-05move librustc to 2018Mark Mansi-15/+15
2019-01-05Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakisbors-45/+4
2019-01-04Revert "add coherence future-compat warnings for marker-only trait objects"Ariel Ben-Yehuda-45/+4
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-14/+8
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-4/+45
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-4/+5
2018-11-29Implement `ResolventOps`scalexm-0/+278
2018-11-29Handle inference variables in `nll_relate` and use it for chalkscalexm-2/+15
2018-10-03rustc/ty: simplify some patternsljedrz-21/+18
2018-10-03rustc/ty: whitespace fixesljedrz-3/+4
2018-09-29Improve bug! message for impossible case in RelatePhilipp Hansch-1/+6
2018-09-25Handle impl trait in MIR type checked for assignments.Matthew Jasper-1/+1
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-2/+2
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-24/+24
2018-08-22Rename ty::Slice to ty::Listvarkor-2/+2
2018-07-12Fix ICE when using a pointer cast as array sizevarkor-1/+6
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-2/+2
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-05-21rustc: avoid using intern_*(it.collect()) when mk_*(it) works better.Eduard-Mihai Burtescu-3/+4
2018-05-11Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker-11/+8
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-2/+4
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-12/+11
2018-05-08Store generator movability outside GeneratorInteriorJohn Kåre Alsaker-5/+4
2018-04-26rustc_target: move in syntax::abi and flip dependency.Irina Popa-1/+1
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-3/+3
2018-03-14remove defaulting to unitAndrew Cann-3/+2
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-2/+1
2018-03-13add `TypeRelation` and `Lift` impls for `Kind`Niko Matsakis-10/+23
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-8/+3
2018-03-08Prepare for using miri in transAlexander Regueiro-10/+22
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-4/+0
2018-03-08Produce instead of pointersOliver Schneider-0/+9
2018-02-23Introduce UnpackedKindvarkor-7/+9
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-2/+42
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-0/+6
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-6/+40
2017-09-11rustc: use ty::Const for the length of TyArray.Eduard-Mihai Burtescu-3/+7
2017-09-11rustc: replace usize with u64 and ConstUsize.Eduard-Mihai Burtescu-1/+1
2017-08-16Merge remote-tracking branch 'origin/master' into genAlex Crichton-1/+1
2017-08-15use field init shorthand EVERYWHEREZack M. Davis-1/+1