]> git.lizzy.rs Git - rust.git/history - compiler/rustc_borrowck/src/type_check/constraint_conversion.rs
don't normalize wf predicates
[rust.git] / compiler / rustc_borrowck / src / type_check / constraint_conversion.rs
2022-08-09 lcnrdon't normalize wf predicates
2022-08-07 borsAuto merge of #99833 - andrewpollack:fuchsia-rust-ci...
2022-08-05 borsAuto merge of #100035 - workingjubilee:merge-functions...
2022-08-05 Dylan DPCRollup merge of #99835 - TaKO8Ki:suggest-adding-or...
2022-08-04 Matthias KrügerRollup merge of #99772 - ehuss:reenable-submodule-archi...
2022-08-04 Matthias KrügerRollup merge of #98796 - compiler-errors:no-semi-if...
2022-08-04 borsAuto merge of #99953 - cjgillot:in-path-always, r=petro...
2022-08-03 Matthias KrügerRollup merge of #99786 - obeis:issue-99625, r=compiler...
2022-08-03 Matthias KrügerRollup merge of #99746 - compiler-errors:more-trait...
2022-08-03 Dylan DPCRollup merge of #99800 - sandydoo:bugfix/wasm-futex...
2022-08-03 Dylan DPCRollup merge of #99738 - notriddle:notriddle/multiple...
2022-08-03 Dylan DPCRollup merge of #99614 - RalfJung:transmute-is-not...
2022-08-03 Dylan DPCRollup merge of #99371 - ChrisDenton:simplify-gen-rando...
2022-08-03 borsAuto merge of #99509 - lcnr:commit_unconditionally...
2022-08-02 borsAuto merge of #92268 - jswrenn:transmute, r=oli-obk
2022-08-02 Laurențiu Nicola:arrow_up: rust-analyzer
2022-08-02 Matthias KrügerRollup merge of #99779 - GuillaumeGomez:fix-item-info...
2022-08-02 Matthias KrügerRollup merge of #99293 - jo3bingham:issue-98720-fix...
2022-08-02 Matthias KrügerRollup merge of #99156 - lcnr:omoe-wa, r=wesleywiser
2022-08-01 borsAuto merge of #99476 - dpaoliello:rawdylibvectorcall...
2022-08-01 borsAuto merge of #98246 - joshtriplett:times, r=m-ou-se
2022-07-31 borsAuto merge of #99052 - tmiasko:bitset-clone-from, r...
2022-07-31 Matthias KrügerRollup merge of #99519 - Urgau:check-cfg-implicit,...
2022-07-31 borsAuto merge of #78802 - faern:simplify-socketaddr, r...
2022-07-31 Dylan DPCRollup merge of #99921 - Enselic:cc-enselic, r=Guillaum...
2022-07-31 Dylan DPCRollup merge of #99741 - compiler-errors:copy-impl...
2022-07-31 borsAuto merge of #99553 - ChrisDenton:lazy-compat-fn,...
2022-07-31 borsAuto merge of #99529 - Milo123459:stage-1-test, r=jyn514
2022-07-30 Dylan DPCRollup merge of #99862 - WaffleLapkin:type_mismatch_fix...
2022-07-30 borsAuto merge of #99887 - nnethercote:rm-TreeAndSpacing...
2022-07-30 borsAuto merge of #99796 - compiler-errors:issue-53475...
2022-07-29 Yuki OkushiRollup merge of #99888 - nnethercote:streamline-visitor...
2022-07-29 Yuki OkushiRollup merge of #99831 - djkoloski:add_fuchsia_target_d...
2022-07-29 Yuki OkushiRollup merge of #99671 - TaKO8Ki:suggest-dereferencing...
2022-07-29 Yuki OkushiRollup merge of #99518 - dingxiangfei2009:let-else...
2022-07-29 Yuki OkushiRollup merge of #99227 - Lokathor:fix-thumbv4t-none...
2022-07-29 borsAuto merge of #99467 - BelovDV:add_option_link_arg...
2022-07-29 borsAuto merge of #99667 - ouz-a:some_branch, r=oli-obk
2022-07-29 Yuki OkushiRollup merge of #99803 - JohnTitor:update-lazy-docs...
2022-07-29 Yuki OkushiRollup merge of #99781 - workingjubilee:demo-string...
2022-07-29 Yuki OkushiRollup merge of #99766 - fmease:htmldocck-subst-channel...
2022-07-29 Yuki OkushiRollup merge of #99760 - dvdhrm:rw/uefiplat, r=ehuss
2022-07-29 Yuki OkushiRollup merge of #99686 - vincenzopalazzo:macros/impl_on...
2022-07-29 borsAuto merge of #99660 - PrestonFrom:issue_99265, r=compi...
2022-07-29 borsAuto merge of #99512 - nikic:llvm-15-fixes, r=cuviper
2022-07-28 Philipp KronesMerge commit '3c7e7dbc1583a0b06df5bd7623dd354a4debd23d...
2022-07-28 Dylan DPCRollup merge of #99817 - notriddle:notriddle/clean...
2022-07-28 Dylan DPCRollup merge of #99807 - Nilstrieb:wsl-ui-test-fix...
2022-07-28 Dylan DPCRollup merge of #99689 - dtolnay:write, r=Mark-Simulacrum
2022-07-28 borsAuto merge of #99780 - Nilstrieb:mir-opt-test-line...
2022-07-28 Dylan DPCRollup merge of #99837 - TaKO8Ki:avoid-symbol-to-string...
2022-07-28 Dylan DPCRollup merge of #99810 - GuillaumeGomez:fix-settings...
2022-07-28 Dylan DPCRollup merge of #99723 - bstrie:wasifd, r=yaahc
2022-07-28 Dylan DPCRollup merge of #99714 - ouz-a:issue_57961, r=oli-obk
2022-07-28 borsAuto merge of #99756 - fasterthanlime:ra-sync-and-pms...
2022-07-28 borsAuto merge of #99182 - RalfJung:mitigate-uninit, r...
2022-07-27 borsAuto merge of #99725 - lcnr:dedup-region_bound_pairs...
2022-07-27 Guillaume GomezRollup merge of #94247 - saethlin:chunksmut-aliasing...
2022-07-27 Yuki OkushiRollup merge of #98583 - joshtriplett:stabilize-windows...
2022-07-27 borsAuto merge of #98553 - the8472:next_chunk_opt, r=Mark...
2022-07-26 bjorn3Merge commit 'd3a2366ee877075c59b38bd8ced55f224fc7ef51...
2022-07-26 Amos WengerMerge commit 'e36a20c24f35a4cee82bbdc600289104c9237c22...
2022-07-25 Yuki OkushiRollup merge of #98710 - mojave2:string, r=JohnTitor
2022-07-25 lcnruse `FxIndexSet` for `region_bound_pairs`
2022-07-25 bjorn3Merge commit 'c19edfd71a1d0ddef86c2c67fdb40718d40a72b4...
2022-07-25 Yuki OkushiRollup merge of #95916 - solid-rs:feat-kmc-solid-abort...
2022-07-25 Yuki OkushiRollup merge of #95040 - frank-king:fix/94981, r=Mark...
2022-07-24 Amos WengerAdd 'src/tools/rust-analyzer/' from commit '977e12a0bdc...
2022-07-23 borsAuto merge of #98471 - wesleywiser:update_measureme...
2022-07-23 borsAuto merge of #97925 - the8472:cgroupv1, r=joshtriplett
2022-07-23 borsAuto merge of #93397 - joshtriplett:sort-floats, r...
2022-07-22 Dylan DPCRollup merge of #98174 - Kixunil:rename_ptr_as_mut_cons...
2022-07-21 Matthias KrügerRollup merge of #98707 - joboet:fuchsia_locks, r=m...
2022-07-21 borsAuto merge of #99059 - Amanieu:fix-96797, r=Mark-Simulacrum
2022-07-21 borsAuto merge of #93718 - thomcc:used-macho, r=pnkfelix
2022-07-21 Jubilee YoungSync core::simd up to rust-lang/portable-simd@2e081db92...
2022-07-20 Matthias KrügerRollup merge of #99516 - m-ou-se:proc-macro-tracked...
2022-07-20 Dylan DPCRollup merge of #98101 - vladimir-ea:stdlib_watch_os...
2022-07-20 Dylan DPCRollup merge of #98916 - ChrisDenton:hiberfil.sys,...
2022-07-20 borsAuto merge of #98843 - Urgau:check-cfg-stage0, r=Mark...
2022-07-19 borsAuto merge of #98912 - nrc:provider-it, r=yaahc
2022-07-19 borsAuto merge of #98120 - TaKO8Ki:box-diagnostic-metadata...
2022-07-18 Dylan DPCRollup merge of #98839 - 5225225:assert_transmute_copy_...
2022-07-18 Philipp KronesMerge commit 'fdb84cbfd25908df5683f8f62388f663d9260e39...
2022-07-17 Yuki OkushiRollup merge of #98383 - m-ou-se:remove-memory-order...
2022-07-17 borsAuto merge of #99040 - gimbles:ci-std-tests, r=pietroalbini
2022-07-17 Yuki OkushiRollup merge of #97915 - tbu-:pr_os_string_fmt_write...
2022-07-16 borsAuto merge of #98866 - nagisa:nagisa/align-offset-wroom...
2022-07-16 Yuki OkushiRollup merge of #98387 - NobodyXu:feature/std_io_Error_...
2022-07-16 borsAuto merge of #95685 - oxidecomputer:restore-static...
2022-07-15 borsAuto merge of #97406 - aliemjay:verify-bounds-fix-maste...
2022-07-15 borsAuto merge of #98203 - kckeiks:gather-body-owners-in...
2022-07-14 borsAuto merge of #96544 - m-ysk:feature/issue-96358, r...
2022-07-14 Dylan DPCRollup merge of #99192 - Amanieu:fix-asm-srcloc, r...
2022-07-14 Dylan DPCRollup merge of #98072 - yaahc:generic-member-access...
2022-07-14 Dylan DPCRollup merge of #98315 - joshtriplett:stabilize-core...
2022-07-13 Dylan DPCRollup merge of #99155 - Amanieu:unstable-target-featur...
2022-07-13 Guillaume GomezRollup merge of #98848 - flip1995:clippy-book, r=jyn514
2022-07-13 Guillaume GomezRollup merge of #98789 - aDotInTheVoid:rjdt-derives...
2022-07-11 Matthias KrügerRollup merge of #97210 - Milo123459:clippy-args, r...
next