summary refs log tree commit diff
path: root/src/librustc/traits/mod.rs
AgeCommit message (Expand)AuthorLines
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
2017-06-01move projection mode into parameter environmentNiko Matsakis-4/+5
2017-05-22rename `parameter_environment` to `param_env`Niko Matsakis-4/+4
2017-05-22rename `ParameterEnvironment` to `ParamEnv`Niko Matsakis-5/+5
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-2/+2
2017-05-15Remove interior mutability from TraitDef by turning fields into queries.Michael Woerister-2/+16
2017-05-02Store interned predicates in ParameterEnvironmentTobias Schottdorf-5/+13
2017-04-30introduce per-fn RegionMapsTaylor Cramer-5/+7
2017-04-30intern CodeExtentsNiko Matsakis-1/+1
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-1/+1
2017-04-22avoid calling `mk_region` unnecessarilyAriel Ben-Yehuda-1/+1
2017-04-21move the trans trait caches into tcxNiko Matsakis-0/+1
2017-04-15Remove MethodMatchResult and MethodMatchedData.Mark Simulacrum-2/+0
2017-04-11use obligations to propagate sub-typing instead of the TV codeNiko Matsakis-1/+4
2017-03-30add an `ObligationCauseCode` we'll use later (`ReturnNoExpression`)Niko Matsakis-0/+3
2017-03-18resolve instances to ty::Instance directlyAriel Ben-Yehuda-1/+1
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-1/+1
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-1/+0
2017-02-16erase late bound regions in `get_vtable_methods()`Niko Matsakis-0/+5
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-2/+2
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-4/+4
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-23/+22
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-0/+30
2016-11-10rustc: clean up lookup_item_type and remove TypeScheme.Eduard Burtescu-1/+1
2016-11-10rustc: unify and simplify managing associated items.Eduard Burtescu-12/+8