about summary refs log tree commit diff
path: root/src/librustc/traits/specialize/mod.rs
AgeCommit message (Collapse)AuthorLines
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-1/+1
So that the frequent clones in `try_get` are cheaper. Fixes #54274.
2018-11-06Elide anon lifetimes in conflicting impl noteEsteban Küber-1/+4
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-21/+1
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-04rename skolemized to placeholderNiko Matsakis-1/+1
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-1/+1
This seemed like a good way to kick the tires on the elided-lifetimes-in-paths lint (#52069)—seems to work! This was also pretty tedious—it sure would be nice if `cargo fix` worked on this codebase (#53896)!
2018-09-28rustc: keep a Span for each predicate in ty::GenericPredicates.Eduard-Mihai Burtescu-1/+1
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-14/+15
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-1/+1
2018-08-19mv codemap() source_map()Donato Sciarra-2/+2
2018-07-30Auto merge of #52805 - ljedrz:format_str_literal, r=petrochenkovbors-1/+1
Don't format!() string literals Prefer `to_string()` to `format!()` take 2, this time targetting string literals. In some cases (`&format!("...")` -> `"..."`) also removes allocations. Occurences of `format!("")` are changed to `String::new()`.
2018-07-29Replace push loops with collect() and extend() where possibleljedrz-3/+3
2018-07-28Don't format!() string literalsljedrz-1/+1
2018-06-28Use `Ident`s for associated item definitions in HIRVadim Petrochenkov-1/+1
Remove emulation of hygiene with gensyms
2018-06-24Update broken rustc-guide linksAlex Kitchens-1/+1
Recently, there has been some rearrangement of the content in the Rustc Guide, and this commit changes the urls the match the updated guide.
2018-05-12Better error reporting in Copy deriveleonardo.yvens-0/+1
In Copy derive, report all fulfillment erros when present and do not report errors for types tainted with `TyErr`. Also report all fields which are not Copy rather than just the first. Also refactored `fn fully_normalize`, removing the not very useful helper function along with a FIXME to the closed issue #26721 that's looks out of context now.
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-1/+1
Remove universes from `ty::ParamEnv` This change was never meant to land. #48407 takes an alternate approach. However, that PR is now blocked on some issues with canonicalization, and rebasing these reverts gets harder each time, so let's just get this bit out of the way now. r? @nikomatsakis
2018-03-23Revert "add universes to type inference variables"Sean Griffin-1/+1
This reverts commit 13efaf0481275dba18f1d18f4b59b664b2d2031a.
2018-03-23import trait engine to typeckcsmoe-1/+1
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-2/+2
- `ParamEnv::empty()` -- does not reveal all, good for typeck - `ParamEnv::reveal_all()` -- does, good for trans - `param_env.with_reveal_all()` -- converts an existing parameter environment
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
Type-live-for-region obligations on DUMMY_NODE_ID cause an ICE, and it turns out that in the few cases they are needed, these obligations are not needed anyway because they are verified elsewhere. Fixes #46069.
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
This commit removes the `specialization_cache` field of `TyCtxt` by moving it to a dedicated query, which it turned out was already quite easily structured to do so!
2017-08-08make `for_all_relevant_impls` O(1) againAriel Ben-Yehuda-1/+2
A change in #41911 had made `for_all_relevant_impls` do a linear scan over all impls, instead of using an HashMap. Use an HashMap again to avoid quadratic blowup when there is a large number of structs with impls. I think this fixes #43141 completely, but I want better measurements in order to be sure. As a perf patch, please don't roll this up.
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
Instead, thread around `Option<CodeExtent>` where applicable.
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
cc #32730 -- I left exactly one instance where I wasn't sure of the right behavior.
2017-04-15rustc: ban registering obligations during InferCtxt snapshots.Eduard-Mihai Burtescu-1/+1