summary refs log tree commit diff
path: root/src/librustc/traits/specialize/mod.rs
AgeCommit message (Expand)AuthorLines
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-1/+1
2018-03-23Revert "add universes to type inference variables"Sean Griffin-1/+1
2018-03-23import trait engine to typeckcsmoe-1/+1
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-2/+2
2018-03-05Turn features() into a query.Michael Woerister-1/+1
2018-03-02Replace Rc with Lrc for shared dataJohn Kåre Alsaker-3/+3
2018-03-01add universes to type inference variablesNiko Matsakis-1/+1
2018-02-25Make comment into a doc comment and change readme refMark Mansi-8/+10
2017-12-17Use def span for conflicting impls and recursive fnEsteban Küber-4/+8
2017-12-05convert the new conflicts to a soft errorAriel Ben-Yehuda-10/+29
2017-11-25commentsAriel Ben-Yehuda-0/+11
2017-11-25avoid type-live-for-region obligations on dummy nodesAriel Ben-Yehuda-1/+1
2017-10-23Print the conflicting impl on E0119 with external crate.kennytm-2/+60
2017-10-06Improve resolution of associated types in macros 2.0Vadim Petrochenkov-1/+1
2017-09-05Print more detailed trait-ref for intercrate ambiguity.Masaki Hara-1/+1
2017-09-05Unify intercrate ambiguity emitters into a function.Masaki Hara-11/+1
2017-09-05Slightly modify hint messages.Masaki Hara-2/+2
2017-09-05Add hints when intercrate ambiguity causes overlap.Masaki Hara-0/+16
2017-08-29rustc: Remove `specailization_cache` in favor of a queryAlex Crichton-12/+6
2017-08-08make `for_all_relevant_impls` O(1) againAriel Ben-Yehuda-1/+2
2017-07-23Fix some doc/comment typos.Bruce Mitchener-4/+4
2017-06-10rustc: make the comon case of tcx.infer_ctxt(()) nicer.Eduard-Mihai Burtescu-2/+2
2017-06-01ergonomic improvements to the methods in infcxNiko Matsakis-5/+2
2017-06-01strip param-env from infcxNiko Matsakis-12/+22
2017-06-01move projection mode into parameter environmentNiko Matsakis-2/+2
2017-05-22rename `parameter_environment` to `param_env`Niko Matsakis-2/+2
2017-05-15Share lists of blanket impls in results of relevant_impls_for() query.Michael Woerister-1/+13
2017-05-15Remove interior mutability from TraitDef by turning fields into queries.Michael Woerister-1/+49
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-3/+1
2017-05-13rustc: uniformly compute ParameterEnvironment's "free outlive scope".Eduard-Mihai Burtescu-3/+1
2017-04-30remove ROOT_CODE_EXTENT and DUMMY_CODE_EXTENTNiko Matsakis-2/+1
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-2/+2
2017-04-19propagate other obligations that were left outNiko Matsakis-4/+3
2017-04-15rustc: ban registering obligations during InferCtxt snapshots.Eduard-Mihai Burtescu-1/+1
2017-03-18resolve instances to ty::Instance directlyAriel Ben-Yehuda-13/+12
2017-03-13some style fixesTshepang Lekhonkhobe-2/+2
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-1/+1
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-2/+2
2016-12-05erase lifetimes when translating specialized substsAriel Ben-Yehuda-0/+1
2016-11-15remove TypeOrigin and use ObligationCause insteadNiko Matsakis-3/+5
2016-11-10rustc: unify and simplify managing associated items.Eduard Burtescu-1/+2
2016-11-08Replace FnvHasher use with FxHasher.Nicholas Nethercote-3/+3
2016-11-06rustc: harden against InferOk having obligations in more cases.Eduard Burtescu-9/+13
2016-11-02just use full-normalization when for the impl trait refNiko Matsakis-15/+10
2016-11-02normalize trait-ref in context of implNiko Matsakis-8/+8
2016-09-20rustc_trans: simplify vtable and symbol handling.Eduard Burtescu-1/+38
2016-09-14clear obligations-added flag with nested fulfillcxNiko Matsakis-22/+24
2016-08-31remove `normalize_infer_ctxt` constructorNiko Matsakis-1/+1
2016-08-31remove unneccessary uses of `drain_fulfillment_cx`Niko Matsakis-16/+19
2016-08-17rustc: remove ParamSpace from Substs.Eduard Burtescu-5/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-04 02:55:42 +0000