]> git.lizzy.rs Git - rust.git/history - src/librustc_middle/ty/sty.rs
make `to_predicate` take a `tcx` argument
[rust.git] / src / librustc_middle / ty / sty.rs
2020-05-20 Niko Matsakismake `to_predicate` take a `tcx` argument
2020-05-20 Bastian Kauschkerename `Predicate` to `PredicateKind`, introduce alias
2020-05-20 borsAuto merge of #71923 - csmoe:issue-70818, r=tmandry
2020-05-20 borsAuto merge of #71769 - petrochenkov:crto, r=cuviper
2020-05-19 Dylan DPCRollup merge of #72068 - estebank:mut-deref-hack, r...
2020-05-19 Dylan DPCRollup merge of #71886 - t-rapp:tr-saturating-funcs...
2020-05-19 borsAuto merge of #71447 - cuviper:unsized_cow, r=dtolnay
2020-05-19 borsAuto merge of #68717 - petrochenkov:stabexpat, r=varkor
2020-05-18 Dylan DPCRollup merge of #71599 - ldm0:fnclo, r=nikomatsakis
2020-05-17 flip1995Merge commit 'e214ea82ad0a751563acf67e1cd9279cf302db3a...
2020-05-17 borsAuto merge of #72135 - oli-obk:const_prop_deaggregates...
2020-05-17 borsAuto merge of #72208 - tmandry:fix-fuchsia-solink,...
2020-05-16 borsAuto merge of #72178 - tmiasko:inliner-lifetimes, r...
2020-05-16 Ralf JungRollup merge of #72094 - petrochenkov:overfeature,...
2020-05-16 Ralf JungRollup merge of #72060 - lcnr:move-list, r=estebank
2020-05-16 Ralf JungRollup merge of #72047 - Julian-Wollersberger:literal_e...
2020-05-16 Ralf JungRollup merge of #72045 - RalfJung:incomplete-unsound...
2020-05-16 Dylan DPCRollup merge of #72166 - nnethercote:simpler-slice...
2020-05-16 Dylan DPCRollup merge of #71919 - Xanewok:bump-syn-1, r=Xanewok
2020-05-16 Dylan DPCRollup merge of #71625 - Diggsey:improve-manually-drop...
2020-05-16 borsAuto merge of #71872 - nnethercote:less-aggressive...
2020-05-16 borsAuto merge of #71665 - RalfJung:miri-intern-no-ice...
2020-05-16 borsAuto merge of #72079 - semarie:openbsd-stacker, r=Mark...
2020-05-16 Dylan DPCRollup merge of #72090 - RalfJung:rustc_driver-exit...
2020-05-16 Dylan DPCRollup merge of #71948 - csmoe:issue-61076, r=oli-obk
2020-05-16 Dylan DPCRollup merge of #71724 - GuillaumeGomez:doc-alias-impro...
2020-05-16 Dylan DPCRollup merge of #71677 - Mark-Simulacrum:hasher-docs...
2020-05-16 Dylan DPCRollup merge of #71662 - glandium:osstring_from_str...
2020-05-15 borsAuto merge of #69659 - CAD97:step-rework-take-3, r...
2020-05-14 Dylan DPCRollup merge of #72214 - JOE1994:nitpicky, r=jonas...
2020-05-14 Dylan DPCRollup merge of #72200 - spastorino:add-prioritize_on...
2020-05-14 Dylan DPCRollup merge of #72173 - xliiv:54172-intra-for-trait...
2020-05-14 Dylan DPCRollup merge of #72172 - Mark-Simulacrum:check-no-stage...
2020-05-14 Dylan DPCRollup merge of #72146 - Mark-Simulacrum:separate-std...
2020-05-14 Dylan DPCRollup merge of #72062 - overdrivenpotato:psp, r=jonas...
2020-05-14 Dylan DPCRollup merge of #71809 - marmeladema:fix-issue-71104...
2020-05-14 borsAuto merge of #71321 - matthewjasper:alloc-min-spec...
2020-05-14 Dylan DPCRollup merge of #72194 - doctorn:dispatch-from-dyn...
2020-05-14 Dylan DPCRollup merge of #72191 - GuillaumeGomez:cleanup-e0589...
2020-05-14 Dylan DPCRollup merge of #72170 - lcnr:lang_item, r=oli-obk
2020-05-14 Dylan DPCRollup merge of #72141 - kornelski:dontsleep, r=joshtri...
2020-05-14 Dylan DPCRollup merge of #72127 - jademcgough:long-error-explana...
2020-05-14 Dylan DPCRollup merge of #72126 - nnethercote:change-WorkProduct...
2020-05-14 Dylan DPCRollup merge of #72087 - matthewjasper:regionck-hang...
2020-05-14 Dylan DPCRollup merge of #71910 - mibac138:necessary-paren,...
2020-05-14 borsAuto merge of #72187 - RalfJung:rollup-a7a9jdi, r=RalfJung
2020-05-14 Ralf JungRollup merge of #72183 - tmiasko:decr-strong-count...
2020-05-14 Ralf JungRollup merge of #72169 - GuillaumeGomez:cleanup-e0582...
2020-05-14 Ralf JungRollup merge of #72163 - tshepang:nonexistent-link...
2020-05-14 Ralf JungRollup merge of #72151 - ehuss:update-books, r=ehuss
2020-05-14 Ralf JungRollup merge of #72150 - jackh726:unnorm_projection...
2020-05-14 Ralf JungRollup merge of #72137 - GuillaumeGomez:cleanup-e0581...
2020-05-14 Ralf JungRollup merge of #71909 - Dolpheyn:doc-from-trait-for...
2020-05-14 Ralf JungRollup merge of #71870 - ltratt:more_specific_type_name...
2020-05-14 Ralf JungRollup merge of #71525 - ldm0:intosug, r=Mark-Simulacrum
2020-05-14 borsAuto merge of #72058 - RalfJung:no-dist-lldb, r=Mark...
2020-05-13 borsAuto merge of #70416 - mzohreva:mz/sgx-test, r=nikomatsakis
2020-05-12 Dylan DPCRollup merge of #72048 - jonas-schievink:visit-return...
2020-05-12 Dylan DPCRollup merge of #71928 - mibac138:strikethrough, r...
2020-05-12 Dylan DPCRollup merge of #71737 - RalfJung:miri-test-threads...
2020-05-12 Jack HueyRemove ty::UnnormalizedProjection
2020-05-11 Dylan DPCRollup merge of #72107 - GuillaumeGomez:cleanup-e0579...
2020-05-11 Dylan DPCRollup merge of #72077 - GuillaumeGomez:cleanup-E0571...
2020-05-11 Dylan DPCRollup merge of #72052 - lcnr:const_pprint, r=ecstatic...
2020-05-11 Dylan DPCRollup merge of #72027 - Mark-Simulacrum:ci-caches...
2020-05-11 Dylan DPCRollup merge of #72019 - matthewjasper:dont-skip-binder...
2020-05-11 Dylan DPCRollup merge of #72014 - GuillaumeGomez:deprecated...
2020-05-11 flip1995Merge commit '43a1777b89cf6791f9e20878b4e5e3ae907867a5...
2020-05-11 borsAuto merge of #72089 - Mark-Simulacrum:error-is-really...
2020-05-11 borsAuto merge of #71953 - oli-obk:const_prop_deaggregates...
2020-05-10 borsAuto merge of #71825 - contrun:cg-option-strip, r=petro...
2020-05-10 Ralf JungRollup merge of #72043 - GuillaumeGomez:clean-up-e0569...
2020-05-10 Ralf JungRollup merge of #71945 - GuillaumeGomez:sort-impl-on...
2020-05-10 Ralf JungRollup merge of #71882 - alexcrichton:update-cc, r...
2020-05-10 Ralf JungRollup merge of #71840 - matthewjasper:drop-trees,...
2020-05-10 borsAuto merge of #71775 - petrochenkov:crtcfg, r=matthewjasper
2020-05-10 borsAuto merge of #72020 - alexcrichton:fix-incremental...
2020-05-10 borsAuto merge of #71557 - matthewjasper:mir-asymmetric...
2020-05-09 borsAuto merge of #69530 - Aaron1011:perf/skip-coerce-var...
2020-05-09 borsAuto merge of #72041 - RalfJung:rollup-xivrvy2, r=RalfJung
2020-05-09 Ralf JungRollup merge of #71555 - cjgillot:nameless, r=matthewjasper
2020-05-09 Dylan DPCRollup merge of #70834 - yoshuawuyts:future-pending...
2020-05-08 Camille GILLOTRemove ast::{Ident, Name} reexports.
2020-05-07 Dylan DPCRollup merge of #70733 - yoshuawuyts:arc-increment...
2020-05-02 Oliver SchererAdd 'src/tools/clippy/' from commit 'd2708873ef711ec8ab...
2020-04-30 Tyler MandryRollup merge of #71148 - bluss:vec-drop-raw-slice,...
2020-04-30 Dylan DPCRollup merge of #71449 - ecstatic-morse:free-region...
2020-04-30 Dylan DPCRollup merge of #71433 - antoyo:error/missing-right...
2020-04-30 Dylan DPCRollup merge of #70950 - nikomatsakis:leak-check-nll...
2020-04-30 Dylan DPCRollup merge of #71205 - NeoRaider:check_attr, r=jonas...
2020-04-29 borsAuto merge of #71528 - alexcrichton:no-more-bitcode...
2020-04-29 Dylan DPCRollup merge of #71507 - CohenArthur:document-unsafe...
2020-04-29 Dylan DPCRollup merge of #71296 - ChiefMilesEdgeworth:fix_doc_wo...
2020-04-29 Dylan DPCRollup merge of #71286 - Alexendoo:test-issue-69654...
2020-04-29 Dylan DPCRollup merge of #71217 - estebank:tail-borrow-sugg...
2020-04-28 borsAuto merge of #71486 - alexcrichton:arm64-lld, r=Mark...
2020-04-28 Dylan DPCRollup merge of #71637 - mibac138:cfg-sanitize, r=petro...
2020-04-28 Dylan DPCRollup merge of #71456 - mzohreva:mz/sgx-no-dylib,...
2020-04-28 Dylan DPCRollup merge of #71340 - Valloric:more-check-pass,...
2020-04-28 Dylan DPCRollup merge of #71489 - spastorino:fix-treat-err-as...
next