summary refs log tree commit diff
path: root/src/librustc/middle
AgeCommit message (Expand)AuthorLines
2015-02-18Exempt phantom fns from the object safety checkNiko Matsakis-4/+5
2015-02-18rollup merge of #22286: nikomatsakis/variance-4bAlex Crichton-215/+438
2015-02-18rollup merge of #22502: nikomatsakis/deprecate-bracket-bracketAlex Crichton-41/+41
2015-02-18rollup merge of #22210: aturon/stab-final-borrowAlex Crichton-4/+4
2015-02-18Stabilize std::borrowAaron Turon-4/+4
2015-02-18Replace all uses of `&foo[]` with `&foo[..]` en masse.Niko Matsakis-41/+41
2015-02-18rollup merge of #22491: Gankro/into_iterAlex Crichton-6/+6
2015-02-18rollup merge of #22480: alexcrichton/hashv3Alex Crichton-1/+16
2015-02-18rollup merge of #22452: nikomatsakis/issue-22040-18956-SelfAlex Crichton-7/+81
2015-02-18rollup merge of #22436: nikomatsakis/issue-22246-bound-lifetimes-of-assoc-typesAlex Crichton-92/+69
2015-02-18rollup merge of #22287: Ryman/purge_carthographersAlex Crichton-28/+22
2015-02-18Try to write some basic docs.Niko Matsakis-3/+20
2015-02-18Add deprecated versions of the old markers and integrate them back into the v...Niko Matsakis-0/+8
2015-02-18Always prefer where-clauses over impls in trait selection. Fixes #22110.Niko Matsakis-57/+14
2015-02-18Extend the implicator so it produces general obligations and also soNiko Matsakis-1/+1
2015-02-18traits: break apart the "full normalization" code used for normalizingNiko Matsakis-14/+33
2015-02-18Move `tcx` from `Typer` into `ClosureTyper`Niko Matsakis-7/+4
2015-02-18Replace `assert_no_late_bound_regions` withNiko Matsakis-13/+17
2015-02-18make FromIterator use IntoIteratorAlexis-3/+3
2015-02-18Implement RFC 580Aaron Turon-3/+3
2015-02-18std: Stabilize the `hash` moduleAlex Crichton-1/+16
2015-02-18Fallout: add phantom data to the type inferencerNiko Matsakis-6/+8
2015-02-18Fallout: remove unused type and region parameters.Niko Matsakis-10/+7
2015-02-18Constrain operands to outlive the operation. Fixes #21422.Niko Matsakis-0/+21
2015-02-18Extend coherence check to understand subtyping.Niko Matsakis-39/+73
2015-02-18Report errors for type parameters that are not constrained, either byNiko Matsakis-0/+7
2015-02-18Introduce the new phantomdata/phantomfn markers and integrate themNiko Matsakis-167/+304
2015-02-17Register new snapshotsAlex Crichton-58/+0
2015-02-17rollup merge of #22319: huonw/send-is-not-staticAlex Crichton-29/+3
2015-02-17rollup merge of #22456: steveklabnik/fix_grammarAlex Crichton-2/+2
2015-02-18librustc: implement Clone for middle::ty::FreeVarKevin Butler-1/+1
2015-02-18Remove usage of .map(|&foo| foo)Kevin Butler-6/+6
2015-02-18Opt for .cloned() over .map(|x| x.clone()) etc.Kevin Butler-21/+15
2015-02-17Traits that reference `Self` in the supertrait list are not object-safe. Fixe...Niko Matsakis-7/+81
2015-02-17rustc: Track stability of trait implementationsAlex Crichton-2/+31
2015-02-18Remove the implicit `'static` bound on `Send`.Huon Wilson-29/+3
2015-02-17Fix grammar in error messageSteve Klabnik-2/+2
2015-02-17Rollup merge of #22313 - japaric:iter, r=aturonManish Goregaokar-0/+24
2015-02-16Auto merge of #22230 - nikomatsakis:object-lifetime-defaults-2, r=pnkfelixbors-32/+41
2015-02-16Address nits by @pnkfelixNiko Matsakis-2/+2
2015-02-16Various simplifications and renamings based on the fact that old-school closu...Niko Matsakis-30/+1
2015-02-16Detect and store object-lifetime-defaults.Niko Matsakis-0/+38
2015-02-16rustc: categorize rvalue borrows based on their const-qualification.Eduard Burtescu-9/+22
2015-02-16rustc: qualify expressions in check_const for potential promotion.Eduard Burtescu-140/+452
2015-02-16rustc: use FromPrimitive for decoding astencode_tag.Eduard Burtescu-2/+3
2015-02-16rust_typeck: remove unnecessary typing of `&[]` as `&'static [T; 0]`.Eduard Burtescu-6/+0
2015-02-16rustc: check for signed division/remainder overflow.Eduard Burtescu-7/+35
2015-02-16rustc: teach const_eval more about types.Eduard Burtescu-97/+166
2015-02-16rustc: merge check_static into check_const.Eduard Burtescu-392/+299
2015-02-16rustc: remove the vestigial "const marking" pass.Eduard Burtescu-165/+1