]> git.lizzy.rs Git - rust.git/history - src/librustc_middle/ty/flags.rs
introduce PredicateAtom
[rust.git] / src / librustc_middle / ty / flags.rs
2020-07-27 Bastian Kauschkeintroduce PredicateAtom
2020-07-27 Bastian Kauschkeadd reuse_or_mk_predicate
2020-07-27 Bastian Kauschke`PredicateKint` -> `PredicateKind`, the beginning of...
2020-07-27 borsAuto merge of #74784 - anp:track-vtables, r=eddyb
2020-07-26 flip1995Merge commit 'da5a6fb1b65ec6581a67e942a3850f6bc15a552c...
2020-07-26 borsAuto merge of #74060 - kpp:remove_length_at_most_32...
2020-07-25 borsAuto merge of #74246 - GuillaumeGomez:cleanup-e0719...
2020-07-25 borsAuto merge of #74510 - LukasKalbertodt:fix-range-from...
2020-07-25 borsAuto merge of #74488 - CAD97:layout_for_value_raw,...
2020-07-25 borsAuto merge of #74017 - poliorcetics:where-keyword,...
2020-07-24 borsAuto merge of #73645 - poliorcetics:ref-keyword, r...
2020-07-24 Manish GoregaokarRollup merge of #74715 - oli-obk:mir_pass_diff, r=wesle...
2020-07-24 Manish GoregaokarRollup merge of #74491 - xldenis:constant-binop-opt...
2020-07-24 Manish GoregaokarRollup merge of #74367 - Neutron3529:patch-1, r=nagisa
2020-07-24 Manish GoregaokarRollup merge of #72954 - hermitcore:rwlock, r=dtolnay
2020-07-24 Yuki OkushiRollup merge of #74677 - ssomers:btree_cleanup_2, r...
2020-07-24 Yuki OkushiRollup merge of #74666 - ssomers:btree_cleanup_1, r...
2020-07-24 Yuki OkushiRollup merge of #74665 - smmalis37:issue-62200, r=davidtwco
2020-07-24 Yuki OkushiRollup merge of #74601 - GuillaumeGomez:cleanup-e0724...
2020-07-24 Yuki OkushiRollup merge of #74572 - Mark-Simulacrum:unify-rustc...
2020-07-24 Yuki OkushiRollup merge of #74361 - GuillaumeGomez:theme-logo...
2020-07-23 borsAuto merge of #74509 - matthewjasper:empty-verify,...
2020-07-23 Manish GoregaokarRollup merge of #74548 - tshepang:one-more-example...
2020-07-23 Manish GoregaokarRollup merge of #74490 - yaahc:disabled-bt, r=dtolnay
2020-07-23 Manish GoregaokarRollup merge of #74141 - euclio:typos, r=steveklabnik
2020-07-22 Manish GoregaokarRollup merge of #74541 - shepmaster:aarch64-apple-darwi...
2020-07-22 Manish GoregaokarRollup merge of #74538 - nbdd0121:issue-73976, r=lcnr
2020-07-22 Manish GoregaokarRollup merge of #73868 - ecstatic-morse:fix-stable...
2020-07-22 Manish GoregaokarRollup merge of #74635 - GuillaumeGomez:fix-tooltip...
2020-07-22 Manish GoregaokarRollup merge of #74570 - spastorino:fix-prioritization...
2020-07-22 Manish GoregaokarRollup merge of #74568 - aticu:master, r=Mark-Simulacrum
2020-07-22 Manish GoregaokarRollup merge of #74528 - euclio:intra-link-errors,...
2020-07-22 Manish GoregaokarRollup merge of #74454 - lcnr:negative-impls, r=nikomat...
2020-07-22 Manish GoregaokarRollup merge of #74237 - lzutao:compiletest, r=Mark...
2020-07-22 Manish GoregaokarRollup merge of #73893 - ajpaverd:cfguard-stabilize...
2020-07-22 Manish GoregaokarRollup merge of #73655 - JamieCunliffe:jamie_va-args...
2020-07-22 borsAuto merge of #74578 - ehuss:fix-rust-src, r=Mark-Simul...
2020-07-21 borsAuto merge of #74565 - pietroalbini:build-on-gha, r...
2020-07-21 borsAuto merge of #74075 - sunfishcode:wasi-prelude-rawfd...
2020-07-21 borsAuto merge of #69749 - davidtwco:issue-46477-polymorphi...
2020-07-20 Manish GoregaokarRollup merge of #73197 - c410-f3r:ranges, r=dtolnay
2020-07-20 David Woodty: `STILL_FURTHER_SPECIALIZABLE` w/out prnt subst
2020-07-20 Manish GoregaokarRollup merge of #73618 - poliorcetics:false-keyword...
2020-07-18 Manish GoregaokarRollup merge of #73762 - poliorcetics:trait-keyword...
2020-07-17 Manish GoregaokarRollup merge of #73930 - a1phyr:feature_const_option...
2020-07-17 Manish GoregaokarRollup merge of #73269 - mzohreva:mz/sgx-wait-timeout...
2020-07-16 Manish GoregaokarRollup merge of #73926 - joaopaulocarreiro:github_rust...
2020-07-16 Manish GoregaokarRollup merge of #73835 - GuillaumeGomez:cleanup-e0710...
2020-07-16 Manish GoregaokarRollup merge of #73794 - GuillaumeGomez:cleanup-e0705...
2020-07-16 Manish GoregaokarRollup merge of #73771 - alexcrichton:ignore-unstable...
2020-07-16 Manish GoregaokarRollup merge of #73421 - janikrabe:master, r=joshtriplett
2020-07-15 Manish GoregaokarRollup merge of #73959 - GuillaumeGomez:cleanup-e0716...
2020-07-15 Manish GoregaokarRollup merge of #73918 - GuillaumeGomez:cleanup-e0715...
2020-07-14 Manish GoregaokarRollup merge of #73759 - GuillaumeGomez:stdin-examples...
2020-07-14 Manish GoregaokarRollup merge of #73866 - Goirad:fix-entry-improper...
2020-07-14 Manish GoregaokarRollup merge of #73720 - GuillaumeGomez:cleanup-e0704...
2020-07-14 flip1995Merge commit '2ca58e7dda4a9eb142599638c59dc04d15961175...
2020-07-14 borsAuto merge of #73490 - CAD97:range-unchecked-stepping...
2020-07-14 Manish GoregaokarRollup merge of #73867 - poliorcetics:union-keyword...
2020-07-13 Pankaj ChaudharyMerge branch 'master' into E0688
2020-07-11 Manish GoregaokarRollup merge of #74197 - estebank:self-sugg, r=petrochenkov
2020-07-11 Manish GoregaokarRollup merge of #73715 - MaulingMonkey:pr-natvis-tuples...
2020-07-11 Manish GoregaokarRollup merge of #73887 - DutchGhost:master, r=oli-obk
2020-07-11 Manish GoregaokarRollup merge of #73862 - oli-obk:const_array_to_slice...
2020-07-11 Manish GoregaokarRollup merge of #72303 - yoshuawuyts:future-poll-fn...
2020-07-09 Manish GoregaokarRollup merge of #74188 - estebank:tweak-ascription...
2020-07-09 Manish GoregaokarRollup merge of #74077 - sethp:docs/fix-intra-doc-primi...
2020-07-09 Manish GoregaokarRollup merge of #73292 - poliorcetics:fix-link-in-parti...
2020-07-09 borsAuto merge of #74131 - ollie27:rustdoc_invalid_codebloc...
2020-07-07 borsAuto merge of #73562 - poliorcetics:e0432-to-edition201...
2020-07-07 Manish GoregaokarRollup merge of #74074 - sunfishcode:windows-openoption...
2020-07-07 Manish GoregaokarRollup merge of #73974 - CAD97:rc-no-weak, r=dtolnay
2020-07-07 Manish GoregaokarRollup merge of #73870 - sexxi-goose:projection-ty...
2020-07-07 Manish GoregaokarRollup merge of #73856 - pierwill:pierwill-lexer-doc...
2020-07-07 Manish GoregaokarRollup merge of #70563 - GuillaumeGomez:page-hash-handl...
2020-07-05 Manish GoregaokarRollup merge of #73871 - da-x:private-types-2018-no...
2020-07-05 Manish GoregaokarRollup merge of #73787 - pickfire:rustc-attrs, r=RalfJung
2020-07-05 Manish GoregaokarRollup merge of #72688 - djugei:master, r=Amanieu
2020-07-05 borsAuto merge of #73879 - ecstatic-morse:discr-switch...
2020-07-04 Manish GoregaokarRollup merge of #73984 - pierwill:pierwill-tarjan,...
2020-07-04 Manish GoregaokarRollup merge of #73925 - eduardosm:improve-pr72617...
2020-07-04 Manish GoregaokarRollup merge of #73881 - pierwill:pierwill-citations...
2020-07-04 Manish GoregaokarRollup merge of #73845 - CAD97:weak-as-unsized-ptr...
2020-07-04 Manish GoregaokarRollup merge of #73693 - wesleywiser:const_prop_exhaust...
2020-07-04 Manish GoregaokarRollup merge of #73670 - davidhewitt:format-args-captur...
2020-07-04 Manish GoregaokarRollup merge of #73140 - tmiasko:element-tree, r=Guilla...
2020-07-03 borsAuto merge of #73882 - nnethercote:avoid-unwrap_or_else...
2020-07-02 Manish GoregaokarRollup merge of #73781 - nagisa:psm-up, r=Mark-Simulacrum
2020-07-02 Manish GoregaokarRollup merge of #73454 - mark-i-m:contributing, r=nikom...
2020-07-02 Manish GoregaokarRollup merge of #73903 - luxxxxy:ios-rustc, r=nikomatsakis
2020-07-02 Manish GoregaokarRollup merge of #73885 - pietroalbini:ci-fix-wasm32...
2020-07-02 Manish GoregaokarRollup merge of #73883 - ehuss:rustdoc-stage-previous...
2020-07-02 Manish GoregaokarRollup merge of #73853 - pierwill:pierwill-multispan...
2020-07-02 Manish GoregaokarRollup merge of #73812 - petrochenkov:prettyref, r...
2020-07-02 Manish GoregaokarRollup merge of #73684 - richkadel:llvm-coverage-map...
2020-07-02 Manish GoregaokarRollup merge of #73622 - LeSeulArtichaut:unsafe-libcore...
2020-07-02 Manish GoregaokarRollup merge of #73564 - petrochenkov:ehdr, r=Amanieu
2020-07-02 Manish GoregaokarRollup merge of #73414 - lzutao:slice_strip, r=dtolnay
2020-07-02 Manish GoregaokarRollup merge of #73929 - kraai:fix-comment-typo, r...
2020-07-02 Manish GoregaokarRollup merge of #73910 - cuviper:while-indexing, r...
next