summary refs log tree commit diff
path: root/src/librustc/middle/traits
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-41/+84
2015-02-18rollup merge of #22502: nikomatsakis/deprecate-bracket-bracketAlex Crichton-1/+1
2015-02-18Replace all uses of `&foo[]` with `&foo[..]` en masse.Niko Matsakis-1/+1
2015-02-18rollup merge of #22452: nikomatsakis/issue-22040-18956-SelfAlex Crichton-6/+46
2015-02-18rollup merge of #22436: nikomatsakis/issue-22246-bound-lifetimes-of-assoc-typesAlex Crichton-73/+47
2015-02-18rollup merge of #22287: Ryman/purge_carthographersAlex Crichton-3/+3
2015-02-18Try to write some basic docs.Niko Matsakis-2/+3
2015-02-18Always prefer where-clauses over impls in trait selection. Fixes #22110.Niko Matsakis-57/+14
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-2/+0
2015-02-18Extend coherence check to understand subtyping.Niko Matsakis-39/+73
2015-02-18Introduce the new phantomdata/phantomfn markers and integrate themNiko Matsakis-2/+10
2015-02-18Remove usage of .map(|&foo| foo)Kevin Butler-2/+2
2015-02-18Opt for .cloned() over .map(|x| x.clone()) etc.Kevin Butler-1/+1
2015-02-17Traits that reference `Self` in the supertrait list are not object-safe. Fixe...Niko Matsakis-6/+46
2015-02-18Remove the implicit `'static` bound on `Send`.Huon Wilson-29/+3
2015-02-15Rollup merge of #22262 - lfairy:unsafe-cell-lang-item, r=alexcrichtonManish Goregaokar-1/+1
2015-02-15Auto merge of #22126 - steveklabnik:gh21281, r=nikomatsakisbors-15/+1
2015-02-13Instead of putting them in the book, make them READMEs.Steve Klabnik-0/+430
2015-02-13Rename the "unsafe" lang item to "unsafe_cell"Chris Wong-1/+1
2015-02-12Rote changes to fix fallout throughout the compiler from splitting theNiko Matsakis-9/+12
2015-02-12Eliminate assoc type projection predicate candidate duplicatesEdward Wang-5/+25
2015-02-10Move rustc docs to the bookSteve Klabnik-445/+1
2015-02-10rollup merge of #21353: sanxiyn/upvarAlex Crichton-0/+8
2015-02-10Auto merge of #22028 - nikomatsakis:issue-22019-caching, r=aturonbors-114/+19
2015-02-07Auto merge of #21505 - GuillaumeGomez:interned_string, r=alexcrichtonbors-1/+1
2015-02-06Simplify cache selection by just using the local cache whenever thereNiko Matsakis-114/+19
2015-02-06Update to last version, remove "[]" as much as possibleGuillaumeGomez-1/+1
2015-02-06librustc has been updatedGuillaumeGomez-1/+1
2015-02-06Rollup merge of #21968 - nikomatsakis:issue-21965-duplicate-preds-in-env, r=p...Manish Goregaokar-28/+47
2015-02-06Rollup merge of #21925 - sfackler:allow-missing-copy, r=alexcrichtonManish Goregaokar-1/+0
2015-02-06Rollup merge of #21954 - jbcrail:fix-misspelled-comments, r=steveklabnikManish Goregaokar-2/+2
2015-02-05Now that the elaboration mechanism is suppressing defaults, we can remove thi...Niko Matsakis-19/+0
2015-02-05Extend the solution to encompass HRTBNiko Matsakis-4/+45
2015-02-05cleanup: replace `as[_mut]_slice()` calls with deref coercionsJorge Aparicio-27/+27
2015-02-05When elaborating predicates, purge duplicates from the initial vector.Niko Matsakis-8/+5
2015-02-04Fix for misspelled comments.Joseph Crail-2/+2
2015-02-05Fix type inference related to upvars in closuresSeo Sanghyeon-0/+8
2015-02-03Switch missing_copy_implementations to default-allowSteven Fackler-1/+0
2015-02-03Teach project to unify the return type even if a precise match is notNiko Matsakis-23/+55
2015-02-03Allow closure arguments types to unify even if we can't fully resolveNiko Matsakis-21/+62
2015-02-02remove unused mut qualifiersJorge Aparicio-1/+1
2015-02-02`for x in xs.into_iter()` -> `for x in xs`Jorge Aparicio-3/+3
2015-02-02`for x in xs.iter()` -> `for x in &xs`Jorge Aparicio-7/+7
2015-02-01Make `unboxed_closure_kind` return `Option` to allow for the possibility that...Niko Matsakis-6/+11
2015-02-01Auto merge of #21792 - nikomatsakis:orphan-ordered-first, r=aturonbors-20/+36
2015-01-30Update the coherence rules to "covered first" -- the first type parameter to ...Niko Matsakis-20/+36
2015-01-30rollup merge of #21702: nikomatsakis/issue-21636Alex Crichton-0/+40
2015-01-29s/Show/Debug/gJorge Aparicio-7/+7