about summary refs log tree commit diff
path: root/src/librustc/traits/specialize/mod.rs
AgeCommit message (Collapse)AuthorLines
2019-04-05Introduce an arena type which may be used to allocate a list of types with ↵John Kåre Alsaker-3/+2
destructors
2019-03-15rustc: print elided regions as '_ instead of nothing, and use a separate ↵Eduard-Mihai Burtescu-1/+1
check when optional.
2019-03-15rustc: always rely on '_ to be not printed by ty::Region itself.Eduard-Mihai Burtescu-1/+1
2019-03-01ty: HirIdify some lintsljedrz-2/+2
2019-02-27rename Substs to InternalSubstscsmoe-2/+2
Change-Id: I3fa00e999a2ee4eb72db1fdf53a8633b49176a18
2019-02-26replace &'tcx Substs with SubstsRefcsmoe-6/+6
2019-02-10rustc: doc commentsAlexander Regueiro-4/+4
2019-02-05move librustc to 2018Mark Mansi-7/+7
2019-01-04implement a hack to make traitobject 0.1.0 compileAriel Ben-Yehuda-7/+14
2019-01-04Revert "add coherence future-compat warnings for marker-only trait objects"Ariel Ben-Yehuda-14/+6
This reverts commit 760639635facb6c9a0926ac9278bcba71880b0b3.
2019-01-02try to detect affected code and direct people to #56105Niko Matsakis-0/+6
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-6/+14
The future-compat warnings break code that assumes that `dyn Send + Sync != dyn Sync + Send`, and are the first step in making them equal. cc #33140. It should be possible to revert this commit when we're done with the warnings.
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-15/+15
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-1/+1
2018-12-03pass the parameter environment to `traits::find_associated_item`Ariel Ben-Yehuda-1/+11
dropping the param-env on the floor is obviously the wrong thing to do. The ICE was probably exposed by #54490 adding the problem-exposing use of `traits::find_associated_item`. Fixes #55380.
2018-11-26rustc-guide has movedMark Mansi-1/+1
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