summary refs log tree commit diff
path: root/src/librustc/middle/traits
AgeCommit message (Expand)AuthorLines
2015-10-23distinguish projections from the env/obj-types vs those fromNiko Matsakis-12/+62
2015-10-16show each object-safety violation onceAriel Ben-Yehuda-3/+8
2015-10-16deduplicate trait errors before they are displayedAriel Ben-Yehuda-0/+35
2015-09-15Auto merge of #28413 - arielb1:deduplication, r=eddybbors-9/+55
2015-09-15Auto merge of #28393 - arielb1:required-because-it-appears, r=nikomatsakisbors-41/+46
2015-09-15deduplicate erase_regionsAriel Ben-Yehuda-9/+55
2015-09-14move traits structural impls to traits::structural_implsAriel Ben-Yehuda-144/+238
2015-09-14split ty.rs into smaller partsAriel Ben-Yehuda-2/+2
2015-09-14move middle::ty and related modules to middle/ty/Ariel Ben-Yehuda-18/+15
2015-09-13don't duplicate the code snippet in the "trait unimplemented" errorAriel Ben-Yehuda-41/+46
2015-09-04Auto merge of #28227 - birkenfeld:use_filter_map, r=alexcrichtonbors-3/+2
2015-09-04Auto merge of #27984 - arielb1:misc-assemble-improvements, r=nikomatsakisbors-31/+36
2015-09-03middle: use filter_map instead of flat_map with Option itersGeorg Brandl-3/+2
2015-09-03consolidate type-variable handling in assemble_candidatesAriel Ben-Yehuda-31/+36
2015-09-03Add an intital HIR and lowering stepNick Cameron-6/+7
2015-08-24convert to use `is_local` instead of `== LOCAL_CRATE`Niko Matsakis-3/+3
2015-08-24fallout from moving def-idNiko Matsakis-63/+66
2015-08-18add a fast-path to resolve_type_vars_if_possibleAriel Ben-Yehuda-1/+8
2015-08-17use an FnvHashSet instead of an HashSet in fulfillAriel Ben-Yehuda-4/+3
2015-08-12traits/error_reporting.rs: always note obligation causeNiko Matsakis-5/+2
2015-08-12traits: consider whether origin is RFC1214 when caching, ensuringNiko Matsakis-11/+31
2015-08-12Introduce a "origin/cause" for new requirements (or bugfixes...) introduced b...Niko Matsakis-121/+233
2015-08-12Add two new kinds of predicates, WellFormed and ObjectSafe.Niko Matsakis-6/+80
2015-08-11Auto merge of #27584 - TimNN:macro-eof-span, r=huonwbors-6/+2
2015-08-10add and use Span.substitute_dummy methodTim Neumann-6/+2
2015-08-07rename ADTDef to AdtDef etc.Ariel Ben-Yehuda-2/+2
2015-08-06use VariantDef instead of struct_fieldsAriel Ben-Yehuda-30/+11
2015-08-06introduce an ADTDef struct for struct/enum definitionsAriel Ben-Yehuda-26/+24
2015-07-25Auto merge of #27258 - nikomatsakis:issue-26952, r=eddybbors-26/+40
2015-07-24Correct regression in type-inference caused by failing to reconfirm thatNiko Matsakis-26/+40
2015-07-24Unify the upvar variables found in closures with the actual types of theNiko Matsakis-58/+29
2015-07-24Introduce ClosureSubsts rather than just having random fields in theNiko Matsakis-19/+14
2015-07-24introduce a Vec<Ty> to TyClosure for storing upvar typesNiko Matsakis-13/+19
2015-07-18Auto merge of #27096 - apasel422:issue-26217, r=nikomatsakisbors-8/+24
2015-07-17clarify that `T` does not contain `'a`Andrew Paseltiner-2/+2
2015-07-17treat `for<'a> T: 'a` as `T: 'static`Andrew Paseltiner-8/+24
2015-07-17Auto merge of #27045 - nikomatsakis:better-object-defaults-error, r=pnkfelixbors-1/+0
2015-07-14Change int/uint => isize/usize in compiler docs.Nick Hamann-38/+38
2015-07-14Transition to the new object lifetime defaults, replacing the oldNiko Matsakis-1/+0
2015-07-12Auto merge of #26895 - jroesch:modernize-typeck-names, r=nikomatsakisbors-5/+5
2015-07-12Implement RFC 1058Simonas Kazlauskas-1/+1
2015-07-10Rename TypeWithMutability to TypeAndMutJared Roesch-3/+3
2015-07-08Remove snake_case names from ty.rsJared Roesch-5/+5
2015-07-04rustc: compute the vtable base of a supertrait during selection. Fixes #26339.Eduard Burtescu-84/+74
2015-07-04rustc: simplify ty::MethodOrigin and avoid trait item indices.Eduard Burtescu-14/+17
2015-07-03Add a boolean flag to ExistentialBounds tracking whether theNiko Matsakis-0/+1
2015-07-02Auto merge of #26677 - jroesch:fulfillment-context-refactor, r=nrcbors-36/+38
2015-07-01Address nitsJared Roesch-2/+2
2015-06-30Auto merge of #26686 - arielb1:associated-type-defaults-actually-work, r=eddybbors-0/+3
2015-06-30Actually encode default associated typesAriel Ben-Yehuda-0/+3