git.lizzy.rs Git - rust.git/history - src/librustc_infer/infer/higher

]> git.lizzy.rs Git - rust.git/history - src/librustc_infer/infer/higher_ranked/mod.rs

[rust.git] / src / librustc_infer / infer / higher_ranked / mod.rs

2020-06-22	Niko Matsakis	move leak-check to during coherence, candidate eval	blob \| commitdiff \| raw
2020-06-22	Niko Matsakis	rewrite leak check to be based on universes	blob \| commitdiff \| raw \| diff to current
2020-06-21	bors	Auto merge of #72936 - jackh726:chalk-more, r=nikomatsakis	blob \| commitdiff \| raw \| diff to current
2020-06-21	bors	Auto merge of #72696 - jethrogb:jb/llvm-zlib, r=Mark...	blob \| commitdiff \| raw \| diff to current
2020-06-21	bors	Auto merge of #73546 - RalfJung:miri, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-06-21	bors	Auto merge of #71911 - wesleywiser:const_prop_small_cle...	blob \| commitdiff \| raw \| diff to current
2020-06-21	bors	Auto merge of #70946 - jumbatm:clashing-extern-decl...	blob \| commitdiff \| raw \| diff to current
2020-06-20	bors	Auto merge of #73563 - Manishearth:rollup-oowgwwm,...	blob \| commitdiff \| raw \| diff to current
2020-06-20	bors	Auto merge of #73550 - RalfJung:rollup-5huj1k1, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-06-20	Ralf Jung	Rollup merge of #73543 - GuillaumeGomez:cleanup-e0695...	blob \| commitdiff \| raw \| diff to current
2020-06-20	Ralf Jung	Rollup merge of #73539 - LukasKalbertodt:deprecate...	blob \| commitdiff \| raw \| diff to current
2020-06-20	Ralf Jung	Rollup merge of #73471 - raoulstrackx:raoul/fpu_tag_wor...	blob \| commitdiff \| raw \| diff to current
2020-06-20	Ralf Jung	Rollup merge of #73444 - pietroalbini:ci-remove-try...	blob \| commitdiff \| raw \| diff to current
2020-06-20	Ralf Jung	Rollup merge of #73404 - ajpaverd:cfguard_syntax, r...	blob \| commitdiff \| raw \| diff to current
2020-06-20	Ralf Jung	Rollup merge of #73171 - tblah:riscv-qemu-test, r=pietr...	blob \| commitdiff \| raw \| diff to current
2020-06-20	Ralf Jung	Rollup merge of #73058 - tmiasko:aarch64-san, r=nagisa	blob \| commitdiff \| raw \| diff to current
2020-06-20	Ralf Jung	Rollup merge of #73055 - lcnr:skol-no-more, r=matthewjasper	blob \| commitdiff \| raw \| diff to current
2020-06-20	Bastian Kauschke	remove `pop_placeholders`	blob \| commitdiff \| raw \| diff to current
2020-06-09	Lzu Tao	Merge commit 'ff0993c5e9162ddaea78e83d0f0161e68bd4ea73...	blob \| commitdiff \| raw \| diff to current
2020-05-28	flip1995	Merge commit '7ea7cd165ad6705603852771bf82cc2fd6560db5...	blob \| commitdiff \| raw \| diff to current
2020-05-22	Rich Kadel	Merge pull request #1 from rust-lang/master	blob \| commitdiff \| raw \| diff to current
2020-05-17	flip1995	Merge commit 'e214ea82ad0a751563acf67e1cd9279cf302db3a...	blob \| commitdiff \| raw \| diff to current
2020-05-11	flip1995	Merge commit '43a1777b89cf6791f9e20878b4e5e3ae907867a5...	blob \| commitdiff \| raw \| diff to current
2020-05-09	bors	Auto merge of #69530 - Aaron1011:perf/skip-coerce-var...	blob \| commitdiff \| raw \| diff to current
2020-05-02	Oliver Scherer	Add 'src/tools/clippy/' from commit 'd2708873ef711ec8ab...	blob \| commitdiff \| raw \| diff to current
2020-04-25	Dylan DPC	Rollup merge of #70712 - :stabilize-remove-entry, r...	blob \| commitdiff \| raw \| diff to current
2020-04-25	Dylan DPC	Rollup merge of #69813 - thomcc:nonzero-bitor, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2020-04-17	Dylan DPC	Rollup merge of #70578 - PankajChaudhary5:master, r...	blob \| commitdiff \| raw \| diff to current
2020-04-15	Dylan DPC	Rollup merge of #70354 - XAMPPRocky:master, r=Mark...	blob \| commitdiff \| raw \| diff to current
2020-04-14	Dylan DPC	Rollup merge of #71121 - AnthonyMikh:fix_string_doc_lin...	blob \| commitdiff \| raw \| diff to current
2020-04-09	Mazdak Farrokhzad	Rollup merge of #70367 - nikomatsakis:issue-69307,...	blob \| commitdiff \| raw \| diff to current
2020-04-08	Dylan DPC	Rollup merge of #70134 - hermitcore:osstrext, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-04-06	Dylan DPC	Rollup merge of #70690 - GuillaumeGomez:cleanup-e0501...	blob \| commitdiff \| raw \| diff to current
2020-04-06	Mazdak Farrokhzad	Rollup merge of #70519 - estebank:constraints-before...	blob \| commitdiff \| raw \| diff to current
2020-04-04	bors	Auto merge of #69898 - spastorino:rename-rustc-guide2...	blob \| commitdiff \| raw \| diff to current
2020-04-04	bors	Auto merge of #70136 - hermitcore:network_tcp, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-04-04	Stefan Lankes	Merge branch 'master' into abi	blob \| commitdiff \| raw \| diff to current
2020-04-03	Mazdak Farrokhzad	Rollup merge of #70741 - DutchGhost:test-59023, r=Centril	blob \| commitdiff \| raw \| diff to current
2020-04-03	Mazdak Farrokhzad	Rollup merge of #70735 - GuillaumeGomez:cleanup-e0502...	blob \| commitdiff \| raw \| diff to current
2020-04-03	Mazdak Farrokhzad	Rollup merge of #70224 - GuillaumeGomez:clean-up-rustdo...	blob \| commitdiff \| raw \| diff to current
2020-04-03	Mazdak Farrokhzad	Rollup merge of #68334 - andre-richter:master, r=japaric	blob \| commitdiff \| raw \| diff to current
2020-04-02	Mazdak Farrokhzad	Rollup merge of #70487 - Mark-Simulacrum:float-unchecke...	blob \| commitdiff \| raw \| diff to current
2020-04-02	Mazdak Farrokhzad	Rollup merge of #70421 - Centril:recover-const-async...	blob \| commitdiff \| raw \| diff to current
2020-04-02	Mazdak Farrokhzad	Rollup merge of #70281 - xfix:infallible-hash, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-04-02	bors	Auto merge of #70362 - TimDiekmann:alloc-overhaul,...	blob \| commitdiff \| raw \| diff to current
2020-04-01	Dylan DPC	Rollup merge of #70649 - GuillaumeGomez:cleanup-e0468...	blob \| commitdiff \| raw \| diff to current
2020-04-01	Mazdak Farrokhzad	Rollup merge of #70522 - rcoh:60762-raw-string-errors...	blob \| commitdiff \| raw \| diff to current
2020-04-01	Mazdak Farrokhzad	Rollup merge of #70511 - ecstatic-morse:mir-dataflow...	blob \| commitdiff \| raw \| diff to current
2020-04-01	bors	Auto merge of #70414 - lopsided98:armv6-gcc-8, r=pietro...	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #70556 - Centril:fix-70552, r=estebank	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #70081 - lcnr:issue68387, r=varkor	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #68770 - ssomers:btree_drain_filter...	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #70606 - GuillaumeGomez:cleanup-e0466...	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #70600 - danielframpton:aarch64-windows...	blob \| commitdiff \| raw \| diff to current
2020-03-31	Dylan DPC	Rollup merge of #69425 - lcnr:make_contiguous, r=Amanieu	blob \| commitdiff \| raw \| diff to current
2020-03-31	Mazdak Farrokhzad	Rollup merge of #70548 - Ersikan:master, r=GuillaumeGomez	blob \| commitdiff \| raw \| diff to current
2020-03-31	Mazdak Farrokhzad	Rollup merge of #69784 - benesch:fast-strip-prefix...	blob \| commitdiff \| raw \| diff to current
2020-03-30	Dylan DPC	Rollup merge of #70546 - lqd:polonius_update, r=nikomat...	blob \| commitdiff \| raw \| diff to current
2020-03-30	Dylan DPC	Rollup merge of #70479 - RalfJung:win-env, r=Mark-Simul...	blob \| commitdiff \| raw \| diff to current
2020-03-30	bors	Auto merge of #70536 - Centril:rustc-middle, r=eddyb	blob \| commitdiff \| raw \| diff to current
2020-03-30	Mazdak Farrokhzad	rustc -> rustc_middle part 2	blob \| commitdiff \| raw \| diff to current
2020-03-29	Mazdak Farrokhzad	Rollup merge of #70140 - Nemo157:result-flatten, r...	blob \| commitdiff \| raw \| diff to current
2020-03-29	Mazdak Farrokhzad	Rollup merge of #70101 - tmiasko:intrinsics-copy, r...	blob \| commitdiff \| raw \| diff to current
2020-03-29	Mazdak Farrokhzad	Rollup merge of #68692 - jyn514:vec-from-array, r=Lukas...	blob \| commitdiff \| raw \| diff to current
2020-03-29	Dylan DPC	Rollup merge of #69937 - TyPR124:osstr_ascii, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-03-28	Dylan DPC	Rollup merge of #70486 - Mark-Simulacrum:unicode-shrink...	blob \| commitdiff \| raw \| diff to current
2020-03-28	Dylan DPC	Rollup merge of #70418 - PankajChaudhary5:master, r...	blob \| commitdiff \| raw \| diff to current
2020-03-27	Dylan DPC	Rollup merge of #70068 - jclulow:illumos-gcc, r=cramertj	blob \| commitdiff \| raw \| diff to current
2020-03-27	Dylan DPC	Rollup merge of #69887 - GuillaumeGomez:cleanup-e0404...	blob \| commitdiff \| raw \| diff to current
2020-03-27	Dylan DPC	Rollup merge of #70048 - TyPR124:mutable_osstr, r=dtolnay	blob \| commitdiff \| raw \| diff to current
2020-03-27	Dylan DPC	Rollup merge of #69936 - Aaron1011:fix/suggestion-cycle...	blob \| commitdiff \| raw \| diff to current
2020-03-24	Mazdak Farrokhzad	Rollup merge of #70023 - GuillaumeGomez:cleanup-e0436...	blob \| commitdiff \| raw \| diff to current
2020-03-24	bors	Auto merge of #70163 - nikic:llvm-10-preparation, r...	blob \| commitdiff \| raw \| diff to current
2020-03-24	bors	Auto merge of #69894 - vtbassmatt:master, r=nellshamrell	blob \| commitdiff \| raw \| diff to current
2020-03-24	Mazdak Farrokhzad	Rollup merge of #70289 - nnethercote:refactor-codegen...	blob \| commitdiff \| raw \| diff to current
2020-03-24	Mazdak Farrokhzad	Rollup merge of #69788 - ArekPiekarz:unstable_book_opti...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #70277 - matthewjasper:remove-closurebo...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #70264 - tirr-c:issue-69789-mut-suggest...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #70087 - ecstatic-morse:remove-const...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #70199 - pnkfelix:issue-68808-dont...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #70195 - rylev:test-for-53275, r=Centril	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #70080 - anyska:mir-double-space, r...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #69494 - GuillaumeGomez:stabilize-crate...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #70159 - alexcrichton:update-wasi,...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #70123 - cuviper:library-path, r=Mark...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #69940 - tmiasko:llvm-api, r=hanna...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Mazdak Farrokhzad	Rollup merge of #70207 - hatoo:macos-getentropy, r...	blob \| commitdiff \| raw \| diff to current
2020-03-22	bors	Auto merge of #69778 - Marwes:dep_graph, r=davidtwco	blob \| commitdiff \| raw \| diff to current
2020-03-22	bors	Auto merge of #69079 - CAD97:layout-of-ptr, r=RalfJung	blob \| commitdiff \| raw \| diff to current
2020-03-22	Dylan DPC	Rollup merge of #70223 - lcnr:issue70167, r=eddyb	blob \| commitdiff \| raw \| diff to current
2020-03-22	Dylan DPC	Rollup merge of #70209 - Centril:recover-quant-closure...	blob \| commitdiff \| raw \| diff to current
2020-03-22	Dylan DPC	Rollup merge of #70172 - eddyb:retokenize-external...	blob \| commitdiff \| raw \| diff to current
2020-03-22	Dylan DPC	Rollup merge of #68099 - lukaslueg:into_raw_unsafe...	blob \| commitdiff \| raw \| diff to current
2020-03-22	bors	Auto merge of #68820 - WaffleLapkin:remove_finished_fro...	blob \| commitdiff \| raw \| diff to current
2020-03-22	bors	Auto merge of #70153 - flip1995:clippyup, r=Dylan-DPC	blob \| commitdiff \| raw \| diff to current
2020-03-21	Dylan DPC	Rollup merge of #70218 - intgr:fix-deprecated-method...	blob \| commitdiff \| raw \| diff to current
2020-03-21	Dylan DPC	Rollup merge of #70197 - pnkfelix:issue-53957-revise...	blob \| commitdiff \| raw \| diff to current
2020-03-21	Dylan DPC	Rollup merge of #70126 - wesleywiser:fix_miri_ice_neg_z...	blob \| commitdiff \| raw \| diff to current
2020-03-21	bors	Auto merge of #69729 - RalfJung:backtrace, r=Mark-Simul...	blob \| commitdiff \| raw \| diff to current
2020-03-21	Dylan DPC	Rollup merge of #70119 - eddyb:typeck-tables-local...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom