summary refs log tree commit diff
path: root/src/librustc/middle/traits
AgeCommit message (Expand)AuthorLines
2016-01-11Change error scheme so that if projection fails we generate `A::B` instead of...Niko Matsakis-5/+20
2015-11-28Auto merge of #29383 - petrochenkov:empstr, r=pnkfelixbors-6/+6
2015-11-26split the metadata code into rustc_metadataAriel Ben-Yehuda-1/+1
2015-11-26Use the TypeOrigin variants qualified.Ms2ger-15/+15
2015-11-20Change TraitRef subtyping checks to equalityAaron Turon-20/+19
2015-11-19Fix the falloutVadim Petrochenkov-6/+6
2015-11-15address review commentsAriel Ben-Yehuda-1/+3
2015-11-15fix remaining bugsAriel Ben-Yehuda-49/+74
2015-11-15add a global evaluation cacheAriel Ben-Yehuda-1/+9
2015-11-15introduce evaluate_obligation_conservatively and use itAriel Ben-Yehuda-0/+32
2015-11-15evaluate projections outside the outer probe in recursive evaluationAriel Ben-Yehuda-156/+46
2015-11-15put projections in RFC447 orderAriel Ben-Yehuda-8/+16
2015-11-15simplify and reduce the size of EvaluationResultAriel Ben-Yehuda-56/+99
2015-11-05remove excess string allocationSteve Klabnik-1/+1
2015-10-27project: add a recursion limit to "tail-recursive" projectionsAriel Ben-Yehuda-2/+3
2015-10-24Auto merge of #29259 - arielb1:supertrait-self-2, r=eddybbors-10/+3
2015-10-24object_safety: check whether a supertrait contains Self even without being itAriel Ben-Yehuda-10/+3
2015-10-22distinguish projections from the env/obj-types vs those fromNiko Matsakis-12/+62
2015-10-08typos: fix a grabbag of typos all over the placeCristi Cobzarenco-2/+2
2015-10-01Convert DefId to use DefIndex, which is an index into a list ofNiko Matsakis-5/+2
2015-10-01move LOCAL_CRATE to cstoreNiko Matsakis-2/+4
2015-09-28Minor code cleanup.Scott Olson-2/+2
2015-09-26show each object-safety violation onceAriel Ben-Yehuda-3/+8
2015-09-26deduplicate trait errors before they are displayedAriel Ben-Yehuda-0/+35
2015-09-24early-prohibit objects with Self-containing supertraitsAriel Ben-Yehuda-5/+33
2015-09-16Use ast attributes every where (remove HIR attributes).Nick Cameron-1/+1
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