summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2017-10-06Revert "Cleanup some remains of `hr_lifetime_in_assoc_type` compatibility lint"Niko Matsakis-8/+25
2017-10-06fix logic error in #44269's `prune_cache_value_obligations`Ariel Ben-Yehuda-1/+1
2017-09-28update commentNiko Matsakis-7/+18
2017-09-28add in a "paranoid" trait boundNiko Matsakis-0/+34
2017-09-28limit and clear cache obligations opportunisticallyNiko Matsakis-7/+57
2017-09-28clear out projection subobligations after they are processedAriel Ben-Yehuda-19/+112
2017-08-27Track closure signatures & kinds in freshened typesAriel Ben-Yehuda-56/+9
2017-08-22Auto merge of #43690 - scalexm:issue-28229, r=nikomatsakisbors-5/+17
2017-08-18Auto merge of #43901 - GuillaumeGomez:unsized-union-field, r=petrochenkovbors-9/+19
2017-08-18Handle structs, unions and enums unsized field/variant separatelyGuillaume Gomez-10/+19
2017-08-16udpdate error message for unsized union fieldGuillaume Gomez-1/+2
2017-08-15Fix typos & us spellingsFourchaux-1/+1
2017-08-14Auto merge of #43740 - michaelwoerister:local-id-in-typecktables, r=arielb1bors-1/+3
2017-08-14Do not store `ty`scalexm-22/+10
2017-08-14Make `Clone` a lang item and generate builtin impls.scalexm-13/+37
2017-08-12Fix some typosBastien Orivel-5/+5
2017-08-12Auto merge of #43794 - Eijebong:fix_typos, r=lukaramu,steveklanik,imperiobors-1/+1
2017-08-11Encapsulate sub-table access in TypeckTables and validate keys on each access.Michael Woerister-2/+1
2017-08-11Use ItemLocalId as key for closure_tys and closure_kinds in TypeckTables.Michael Woerister-1/+4
2017-08-11Fix some typosBastien Orivel-1/+1
2017-08-10Auto merge of #43522 - alexcrichton:rewrite-lints, r=michaelwoeristerbors-17/+20
2017-08-10Auto merge of #43582 - ivanbakel:unused_mut_ref, r=arielb1bors-2/+2
2017-08-09rustc: Rearchitect lints to be emitted more eagerlyAlex Crichton-17/+20
2017-08-08make `for_all_relevant_impls` O(1) againAriel Ben-Yehuda-10/+8
2017-08-01Fixed all unnecessary muts in language coreIsaac van Bakel-2/+2
2017-07-30save the subobligations as wellNiko Matsakis-6/+12
2017-07-29Cleanup some remains of `hr_lifetime_in_assoc_type` compatibility lintVadim Petrochenkov-31/+10
2017-07-23Fix some doc/comment typos.Bruce Mitchener-4/+4
2017-07-15Auto merge of #43184 - nikomatsakis:incr-comp-anonymize-trait-selection, r=mi...bors-56/+71
2017-07-12Rollup merge of #43000 - estebank:on-unimplemented-path, r=arielb1Mark Simulacrum-0/+4
2017-07-12integrate anon dep nodes into trait selectionNiko Matsakis-56/+71
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-40/+38
2017-07-07return EvaluatedToRecur when evaluating a recursive obligation treeAriel Ben-Yehuda-27/+97
2017-07-07use the evaluation cache instead of the global fulfillment cacheAriel Ben-Yehuda-98/+39
2017-07-07use dep-graph reads for the evaluation cacheAriel Ben-Yehuda-0/+4
2017-07-07prevent illegal coinductive matching in trait evaluationAriel Ben-Yehuda-38/+41
2017-07-05use field init shorthand in src/librustcZack M. Davis-50/+50
2017-07-05`rustc_on_unimplemented` supports referring to traitEsteban Küber-0/+4
2017-06-29Correct comments about unsizing regarding #40319.Masaki Hara-3/+3
2017-06-29Add unsized tuple coercions.Masaki Hara-1/+37
2017-06-29Check explicitly that tuple initializer is Sized.Masaki Hara-0/+8
2017-06-29Auto merge of #42642 - venkatagiri:issue_42312, r=nikomatsakisbors-8/+10
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-8/+10
2017-06-28Auto merge of #42850 - estebank:unwanted-return-rotj, r=nikomatsakisbors-49/+52
2017-06-27rustc: move the PolyFnSig out of TyFnDef.Eduard-Mihai Burtescu-17/+30
2017-06-27rustc: rename closure_type to fn_sig.Eduard-Mihai Burtescu-2/+2
2017-06-24Detect missing `;` on methods with return type `()`Esteban Küber-49/+52
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-155/+92