summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2016-08-13Rename empty/bang to neverAndrew Cann-1/+1
2016-08-13Remove obsolete divergence related stuffAndrew Cann-2/+1
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-1/+1
2016-08-12typeck: leak auto trait obligations through impl Trait.Eduard Burtescu-2/+6
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-1/+1
2016-08-02use memoized pattern for SizedConstraintNiko Matsakis-5/+10
2016-07-08Remove unnecessary accessor function VariantDefData::kindVadim Petrochenkov-8/+0
2016-07-08Rewrite check_pat_enum, split it into check_pat_tuple_struct and check_pat_pathVadim Petrochenkov-0/+14
2016-07-08Better support for associated types in struct patternsVadim Petrochenkov-1/+1
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-1/+1
2016-06-10Introduce TyCtxt::expect_def/expect_resolution helpers and use them where pos...Vadim Petrochenkov-33/+24
2016-06-04Auto merge of #33622 - arielb1:elaborate-drops, r=nikomatsakisbors-0/+12
2016-06-04Auto merge of #33816 - nikomatsakis:projection-cache-2, r=arielb1bors-10/+13
2016-06-03correct misspelled wordNiko Matsakis-1/+1
2016-06-03fix ICEs with RUST_LOGAriel Ben-Yehuda-0/+12
2016-05-31add def-ids from nominal types into TraitSelectNiko Matsakis-1/+22
2016-05-31expand `DepNode::TraitSelect` to include type idsNiko Matsakis-7/+6
2016-05-31projection predicates can be copyNiko Matsakis-1/+1
2016-05-31add `Issue32330` warning marker to bound regionsNiko Matsakis-3/+5
2016-05-31add flag for ReSkolemizedNiko Matsakis-6/+7
2016-05-28Separate bindings from other patterns in HIRVadim Petrochenkov-1/+1
2016-05-16Remove hir::IdentVadim Petrochenkov-1/+1
2016-05-12Gen right parameter envirnoment for assoc constsSimonas Kazlauskas-20/+2
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-7/+30
2016-05-11rustc_typeck: Generalize over 'tcx != 'gcx.Eduard Burtescu-3/+3
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-13/+11
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-97/+94
2016-05-11rustc: Remove the TyCtxt field from ParameterEnvironment.Eduard Burtescu-17/+13
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-19/+19
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-94/+91
2016-05-11rustc: Always refer to TyCtxt as tcx.Eduard Burtescu-79/+79
2016-05-09Reimplement pretty printingJeffrey Seyfried-0/+1
2016-05-07mir: build MIR for constants and static initializers.Eduard Burtescu-1/+11
2016-05-03change the newly-added errors to warningsAriel Ben-Yehuda-1/+11
2016-05-03address review commentsAriel Ben-Yehuda-81/+75
2016-05-03require the non-last elements of a tuple to be SizedAriel Ben-Yehuda-2/+2
2016-05-03refactor the handling of builtin candidatesAriel Ben-Yehuda-1/+10
2016-05-03add comments and testsAriel Ben-Yehuda-5/+33
2016-05-03Short-cut Sized matching on ADTsAriel Ben-Yehuda-1/+150
2016-04-28Address style nitsJeffrey Seyfried-3/+5
2016-04-27Avoid using the hir map when visibility checking in `resolve`Jeffrey Seyfried-10/+20
2016-04-19Check transmutes between types without statically known sizes.Eduard Burtescu-31/+0
2016-04-19Parse data-layout specifications.Eduard Burtescu-0/+1
2016-04-16Auto merge of #32909 - sanxiyn:unused-trait-import-2, r=alexcrichtonbors-3/+2
2016-04-14Add `Crate` and `Restricted` variants to `hir::Visibility`Jeffrey Seyfried-0/+9
2016-04-13Auto merge of #32780 - soltanmm:consider-the-following, r=nikomatsakisbors-1/+12
2016-04-12Remove unused trait importsSeo Sanghyeon-3/+2
2016-04-07Auto merge of #32016 - nikomatsakis:incr-comp-save, r=mwbors-3/+3
2016-04-07Improve `PrivateItemsInPublicInterfacesVisitor`Jeffrey Seyfried-1/+12
2016-04-07Use the node id from the `Restricted` variant when checking accessibilityJeffrey Seyfried-0/+20