about summary refs log tree commit diff
path: root/src/librustc/middle
AgeCommit message (Expand)AuthorLines
2015-03-27Rollup merge of #23712 - nikomatsakis:reflect-trait, r=FlaPer87Manish Goregaokar-143/+324
2015-03-27default => or_insert per RFCAlexis Beingessner-5/+5
2015-03-26update everything to use Entry defaultsAlexis-23/+6
2015-03-26Refactor object-safety test to use def-ids onlyNiko Matsakis-11/+55
2015-03-26Refactor how binders are handled in trait selectionNiko Matsakis-128/+213
2015-03-26Implement `Reflect` trait with a variant on the standard OIBITNiko Matsakis-7/+59
2015-03-26Auto merge of #23691 - richo:dedup-typeorigin-mergable, r=eddybbors-29/+40
2015-03-25infer: Drop pointless format! callsRicho Healey-14/+14
2015-03-25infer: Refactor Display implRicho Healey-9/+14
2015-03-25infer: Move TypeOrigin formatting onto it's enumRicho Healey-15/+21
2015-03-24rollup merge of #23638: pnkfelix/fsk-reject-specialized-dropsAlex Crichton-0/+70
2015-03-24rollup merge of #23630: nrc/coerce-tidyAlex Crichton-29/+4
2015-03-24rollup merge of #23282: nikomatsakis/fn-trait-inheritanceAlex Crichton-7/+25
2015-03-24Reject specialized Drop impls.Felix S. Klock II-0/+70
2015-03-25Add trivial cast lints.Nick Cameron-29/+4
2015-03-23rollup merge of #23598: brson/gateAlex Crichton-2/+2
2015-03-23rollup merge of #23601: nikomatsakis/by-value-indexAlex Crichton-22/+24
2015-03-23rollup merge of #23580: nikomatsakis/pattern-and-overflowAlex Crichton-64/+53
2015-03-23rollup merge of #23538: aturon/conversionAlex Crichton-1/+1
2015-03-23rollup merge of #23515: nikomatsakis/issue-14985-trait-subtypingAlex Crichton-12/+1
2015-03-23rollup merge of #23211: FlaPer87/oibit-send-and-friendsAlex Crichton-4/+1
2015-03-23Refactor how we handle overflow so that it is a fatal error that abortsNiko Matsakis-64/+53
2015-03-23Add generic conversion traitsAaron Turon-1/+1
2015-03-23Require feature attributes, and add them where necessaryBrian Anderson-2/+2
2015-03-23Fallout in stdlib, rustdoc, rustc, etc. For most maps, converted uses ofNiko Matsakis-21/+23
2015-03-23Compiler and trait changes to make indexing by value.Niko Matsakis-1/+1
2015-03-23Make the `Fn` traits inherit from one another and remove the bridgingNiko Matsakis-7/+25
2015-03-23When matching against a pattern (either via `match` or `let`) thatNiko Matsakis-0/+27
2015-03-23Remove incorrect subtyping for `&mut Trait` and introduce coercionNiko Matsakis-12/+1
2015-03-20Auto merge of #23512 - oli-obk:result_ok_unwrap, r=alexcrichtonbors-14/+20
2015-03-20Add default impls for Send/SyncFlavio Percoco-4/+1
2015-03-20don't use Result::ok just to be able to use unwrap/unwrap_orOliver Schneider-14/+20
2015-03-19Auto merge of #23489 - michaelwoerister:span-artihmetic-overflow-bug, r=alexc...bors-0/+15
2015-03-18Register new snapshotsAlex Crichton-2/+0
2015-03-18Work around invalid spans in imported FileMapsMichael Woerister-0/+15
2015-03-18Auto merge of #23452 - nikomatsakis:unsafety-subtyping, r=nrcbors-154/+68
2015-03-17Move unsafety out of the subtyping relation and into coercion.Niko Matsakis-54/+50
2015-03-17Extract out `mts` into `combine` using `tys_with_variance`Niko Matsakis-100/+18
2015-03-17Replace TyDesc and its uses with trait vtables and a type_name intrinsic.Eduard Burtescu-14/+1
2015-03-17Auto merge of #23423 - nikomatsakis:issue-18737-trait-subtyping, r=nrcbors-79/+45
2015-03-17Fix soundness hole when unsizing boxes.Niko Matsakis-21/+15
2015-03-17Remove subtyping for object types and replace with an *upcast* coercion.Niko Matsakis-58/+30
2015-03-17Rollup merge of #23385 - tamird:cleanup-whitespace, r=alexcrichtonManish Goregaokar-7/+0
2015-03-17Rollup merge of #23329 - jbcrail:rm-syntax-highlight, r=sanxiynManish Goregaokar-2/+2
2015-03-16impl f{32,64}Jorge Aparicio-0/+1
2015-03-16allow inherent implementations on primitivesJorge Aparicio-0/+41
2015-03-16Auto merge of #23347 - aturon:stab-misc, r=alexcrichtonbors-1/+1
2015-03-15Strip all leading/trailing newlinesTamir Duberstein-7/+0
2015-03-15Auto merge of #23313 - barosl:match-specialize-ice, r=jakub-bors-1/+7
2015-03-14check_match: Dereference `ref x` before comparing it and some other typeBarosl Lee-1/+7