summary refs log tree commit diff
path: root/src/librustc/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2018-02-03Auto merge of #47845 - Zoxc:gen-fixes, r=nikomatsakisbors-0/+2
2018-01-29Require yield types to be sizedJohn Kåre Alsaker-0/+2
2018-01-28Point only at method signatures and point at traitEsteban Küber-0/+13
2017-12-27Make normalize_and_test_predicates into a queryBurntPizza-3/+20
2017-12-05convert the new conflicts to a soft errorAriel Ben-Yehuda-1/+2
2017-12-05refactor a bitAriel Ben-Yehuda-0/+6
2017-12-04make `resolve_regions_and_report_errors` take an `OutlivesEnv`Niko Matsakis-3/+7
2017-12-04move `free_regions_map` into `infer::outlives`Niko Matsakis-1/+1
2017-11-30incr.comp.: Make traits::VTable encodable and decodable.Michael Woerister-8/+8
2017-11-25commentsAriel Ben-Yehuda-11/+20
2017-11-25avoid type-live-for-region obligations on dummy nodesAriel Ben-Yehuda-5/+15
2017-11-16Nit: rework region obligations to a snapshotted vectorNiko Matsakis-2/+1
2017-11-16convert TODO in traits into a FIXMENiko Matsakis-5/+8
2017-11-15move the `region_obligations` processing code into `InferCtxt`Niko Matsakis-1/+1
2017-11-15assert that we are consuming all of the region obligationsNiko Matsakis-0/+9
2017-11-15convert EXTRA_REQUIREMENT_IN_IMPL into a hard errorNiko Matsakis-1/+0
2017-11-15move region constraints into inference contextNiko Matsakis-1/+1
2017-11-12rustc_driver: base extern query providers on local ones.Eduard-Mihai Burtescu-11/+0
2017-11-03[Syntax Breaking] Rename DefaultImpl to AutoImplleonardo.yvens-7/+7
2017-10-13Remove export of vtable_methodsJimmy Brisson-1/+1
2017-10-13Wrap vtable_methods return type in RCJimmy Brisson-41/+43
2017-10-13get_vtable_methods => vtable_methods queryJimmy Brisson-5/+7
2017-10-13Convert return type of get_vtable_methods to VecJimmy Brisson-2/+2
2017-10-08Turn `trans_fulfill_obligation` into a queryWesley Wiser-0/+2
2017-09-14bring Ty into scopeDouglas Campos-1/+1
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-0/+2
2017-09-05Add hints when intercrate ambiguity causes overlap.Masaki Hara-3/+2
2017-09-03Auto merge of #44191 - arielb1:on-unimplemented-label, r=nikomatsakisbors-0/+2
2017-09-03implement improved on_unimplemented directivesAriel Ben-Yehuda-1/+1
2017-09-03move the on_unimplemented logic to its own fileAriel Ben-Yehuda-1/+2
2017-09-03refactor and centralize `on_unimplemented` parsingAriel Ben-Yehuda-0/+1
2017-09-01rustc: rename CodeExtent to Scope and RegionMaps to ScopeTree.Eduard-Mihai Burtescu-3/+3
2017-09-01rustc: use hir::ItemLocalId instead of ast::NodeId in CodeExtent.Eduard-Mihai Burtescu-1/+1
2017-08-29rustc: Remove `specailization_cache` in favor of a queryAlex Crichton-1/+3
2017-08-21Merge remote-tracking branch 'origin/master' into genAlex Crichton-2/+2
2017-08-18Handle structs, unions and enums unsized field/variant separatelyGuillaume Gomez-2/+2
2017-08-10Merge remote-tracking branch 'origin/master' into genAlex Crichton-1/+1
2017-08-01Fixed all unnecessary muts in language coreIsaac van Bakel-1/+1
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+19
2017-07-07use the evaluation cache instead of the global fulfillment cacheAriel Ben-Yehuda-1/+1
2017-07-05use field init shorthand in src/librustcZack M. Davis-1/+1
2017-06-29Check explicitly that tuple initializer is Sized.Masaki Hara-0/+2
2017-06-29Auto merge of #42642 - venkatagiri:issue_42312, r=nikomatsakisbors-1/+1
2017-06-28Auto merge of #42797 - arielb1:ex-falso-ice, r=nikomatsakisbors-2/+5
2017-06-28rustc_typeck: use body-id of type-checking item in need_type_infoVenkata Giri Reddy-1/+1
2017-06-24Detect missing `;` on methods with return type `()`Esteban Küber-21/+32
2017-06-21avoid translating roots with predicates that do not holdAriel Ben-Yehuda-2/+5
2017-06-14suppress trait errors that are implied by other errorsAriel Ben-Yehuda-1/+0
2017-06-10rustc: make the comon case of tcx.infer_ctxt(()) nicer.Eduard-Mihai Burtescu-2/+2
2017-06-01strip param-env from infcxNiko Matsakis-33/+44