about summary refs log tree commit diff
path: root/src/librustc/ty/query
AgeCommit message (Collapse)AuthorLines
2019-01-08Move diagnostics out from QueryJob and optimize for the case with no diagnosticsJohn Kåre Alsaker-42/+54
2019-01-08Auto merge of #57114 - Zoxc:query-perf11, r=michaelwoeristerbors-1/+1
Clean up and optimize OpenTask / read_index r? @michaelwoerister
2019-01-07Rename some functionsJohn Kåre Alsaker-2/+2
2019-01-07Fix and optimize query profilingJohn Kåre Alsaker-22/+26
2019-01-05Rollup merge of #57295 - d-e-s-o:topic/be-be, r=zackmdaviskennytm-1/+1
Fix 'be be' constructs I noticed a duplicated "be" somewhere in the code. A search for it manifested a couple more locations with the same problem. This change removes one of the "be"s.
2019-01-05Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakisbors-0/+3
Add support for trait-objects without a principal The hard-error version of #56481 - should be merged after we do something about the `traitobject` crate. Fixes #33140. Fixes #57057. r? @nikomatsakis
2019-01-04Auto merge of #56723 - oli-obk:lazy_const, r=nikomatsakisbors-1/+1
Don't emit `Unevaluated` from `const_eval` cc @eddyb @RalfJung
2019-01-04implement a hack to make traitobject 0.1.0 compileAriel Ben-Yehuda-0/+3
2019-01-02Fix 'be be' constructsDaniel Mueller-1/+1
I noticed a duplicated "be" somewhere in the code. A search for it manifested a couple more locations with the same problem. This change removes one of the "be"s.
2019-01-02rename `type_moves_by_default` to `type_is_copy_modulo_regions`Niko Matsakis-1/+1
2019-01-01`<&'tcx ty::Const as Deref>::deref`Oliver Scherer-1/+1
2019-01-01Auto merge of #55937 - davidtwco:issue-54943, r=pnkfelixbors-2/+2
NLL: User type annotations refactor, associated constant patterns and ref bindings. Fixes #55511 and Fixes #55401. Contributes to #54943. This PR performs a large refactoring on user type annotations, checks user type annotations for associated constants in patterns and that user type annotations for `ref` bindings are respected. r? @nikomatsakis
2018-12-31Clean up and optimize OpenTask / read_indexJohn Kåre Alsaker-1/+1
2018-12-31Auto merge of #57035 - Zoxc:query-pref9, r=michaelwoeristerbors-23/+34
Uninline some debugging code and use unlikely! macro r? @michaelwoerister
2018-12-30Stop well-formedness checking unreachable code.David Wood-22/+2
This commit stops well-formedness checking applying to unreachable code and therefore stops some of the ICEs that the intended solution taken by this PR causes. By disabling these checks, we can land the other fixes and larger refactors that this PR includes.
2018-12-30Always check well-formedness.David Wood-2/+22
This commit uses the map introduced by the previous commit to ensure that types are always checked for well-formedness by the NLL type check. Previously, without the map introduced by the previous commit, types would not be checked for well-formedness if the `AscribeUserType` statement that would trigger that check was removed as unreachable code.
2018-12-28Auto merge of #57118 - Zoxc:query-stats, r=wesleywiserbors-1/+105
Add a command line flag to print some query stats r? @michaelwoerister
2018-12-27Integrate chalk enginescalexm-0/+17
2018-12-27Return an instantiated environment instead of a generic onescalexm-1/+1
2018-12-25Remove licensesMark Rousskov-70/+0
2018-12-25Auto merge of #56983 - ljedrz:parallel_query_tweaks, r=Zoxcbors-22/+10
Parallel query tweaks - faster stack reversal in `remove_cycle` - insert visited queries more eagerly - simplify stack trimming in `cycle_check` - minor refactoring in 2 spots
2018-12-25Add a command line flag to print some query statsJohn Kåre Alsaker-1/+105
2018-12-23Rollup merge of #57034 - Zoxc:query-perf8, r=michaelwoeristerkennytm-0/+3
Inline tweaks r? @michaelwoerister
2018-12-21Uninline some debugging code and use unlikely! macroJohn Kåre Alsaker-23/+34
2018-12-21Inline tweaksJohn Kåre Alsaker-0/+3
2018-12-21Optimize away a moveJohn Kåre Alsaker-1/+4
2018-12-19Auto merge of #54252 - arielb1:deref-query, r=nikomatsakisbors-0/+12
process nested obligations in autoderef Fixes #53843. r? @nikomatsakis
2018-12-19Auto merge of #56613 - Zoxc:query-perf1, r=michaelwoeristerbors-61/+101
Tweak query code for performance Split from https://github.com/rust-lang/rust/pull/56509 r? @michaelwoerister
2018-12-19query: simplify stack trimming in cycle_checkljedrz-1/+1
2018-12-19query: minor refactoringljedrz-10/+3
2018-12-19query: insert visited queries more eagerlyljedrz-6/+3
2018-12-19query: faster stack reversal in remove_cycleljedrz-5/+3
2018-12-17Remove *_inlined variantsJohn Kåre Alsaker-2/+2
2018-12-17Rename await into cycle_error for the single threaded case and add some commentsJohn Kåre Alsaker-2/+6
2018-12-17Tweak query code for performanceJohn Kåre Alsaker-63/+99
2018-12-15make autoderef steps a queryAriel Ben-Yehuda-0/+12
2018-12-13Make the 'a lifetime on TyCtxt uselessJohn Kåre Alsaker-1/+1
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-9/+9
2018-12-07Auto merge of #56502 - Zoxc:hir-func, r=eddybbors-5/+5
Use a function to access the Hir map to be able to turn it into a query later r? @eddyb
2018-12-06Fix a race conditionJohn Kåre Alsaker-2/+5
2018-12-06Show usages of query cycles and correctly shift queries in a cycleJohn Kåre Alsaker-30/+61
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-5/+5
2018-11-30proc_macro: introduce a "bridge" between clients (proc macros) and servers ↵Eduard-Mihai Burtescu-3/+3
(compiler front-ends).
2018-11-19Make const_eval_raw query return just an AllocIdRalf Jung-2/+2
2018-11-18Rollup merge of #55827 - ljedrz:various_stashed, r=alexcrichtonPietro Albini-1/+1
A few tweaks to iterations/collecting - simplify and speed up `dot::GraphWalk::nodes` for `cfg::CFG` - `reserve` the capacity for `edges` in `DepGraph::query` - collect directly to a `HirVec` in `LoweringContext::lower_attrs` - fix overallocation in `OnDiskCache::serialize` - preallocate the `new_partitioning` vector in `merge_codegen_units` - simplify `impl FromHex for str` - improve the creation of `self_arg_names` in `impl MethodDef`
2018-11-15Rollup merge of #55778 - nnethercote:LrcPreds, r=eddybPietro Albini-5/+6
Wrap some query results in `Lrc`. So that the frequent clones in `try_get` are cheaper.
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-5/+6
So that the frequent clones in `try_get` are cheaper. Fixes #54274.
2018-11-13Auto merge of #55912 - kennytm:rollup, r=kennytmbors-3/+4
Rollup of 20 pull requests Successful merges: - #55136 (Remove short doc where it starts with a codeblock) - #55711 (Format BtreeMap::range_mut example) - #55722 (impl_stable_hash_for: support enums and tuple structs with generic parameters) - #55754 (Avoid converting bytes to UTF-8 strings to print, just pass bytes to stdout/err) - #55804 (rustdoc: don't inline `pub use some_crate` unless directly asked to) - #55805 (Move `static_assert!` into librustc_data_structures) - #55837 (Make PhantomData #[structural_match]) - #55840 (Fix TLS errors when downloading stage0) - #55843 (add FromIterator<A> to Box<[A]>) - #55858 (Small fixes on code blocks in rustdoc) - #55863 (Fix a typo in std::panic) - #55870 (Fix typos.) - #55874 (string: Add documentation for `From` impls) - #55879 (save-analysis: Don't panic for macro-generated use globs) - #55882 (Reference count `crate_inherent_impls`s return value.) - #55888 (miri: for uniformity, also move memory_deallocated to AllocationExtra) - #55889 (global allocators: add a few comments) - #55896 (Document optimizations enabled by FusedIterator) - #55905 (Change `Lit::short_name` to `Lit::literal_name`.) - #55908 (Fix their/there grammar nit)
2018-11-13Replace type params with bound vars in `rustc_traits::lowering`scalexm-1/+1
2018-11-13Rollup merge of #55882 - hugwijst:rc_return_crate_inherent_impls, ↵kennytm-1/+2
r=Mark-Simulacrum Reference count `crate_inherent_impls`s return value. The repeated cloning of the result in `inherent_impls` queries has quite an impact on crates with many inherent trait implementations. For instance on https://github.com/jmesmon/stm32f429, `cargo check` went from 75 seconds to 38 seconds on my machine.