]> git.lizzy.rs Git - rust.git/history - src/librustc_infer/infer/mod.rs
rewrite leak check to be based on universes
[rust.git] / src / librustc_infer / infer / mod.rs
2020-06-22 Niko Matsakisrewrite leak check to be based on universes
2020-06-21 borsAuto merge of #72696 - jethrogb:jb/llvm-zlib, r=Mark...
2020-06-21 borsAuto merge of #71911 - wesleywiser:const_prop_small_cle...
2020-06-20 Manish GoregaokarRollup merge of #73443 - pietroalbini:gha-auto-fallible...
2020-06-20 Manish GoregaokarRollup merge of #73378 - matthewjasper:arena-not-specia...
2020-06-20 Ralf JungRollup merge of #73543 - GuillaumeGomez:cleanup-e0695...
2020-06-20 Ralf JungRollup merge of #73471 - raoulstrackx:raoul/fpu_tag_wor...
2020-06-20 Ralf JungRollup merge of #73444 - pietroalbini:ci-remove-try...
2020-06-20 Ralf JungRollup merge of #73404 - ajpaverd:cfguard_syntax, r...
2020-06-20 Ralf JungRollup merge of #73171 - tblah:riscv-qemu-test, r=pietr...
2020-06-20 Ralf JungRollup merge of #72600 - Aaron1011:fix/anon-const-encod...
2020-06-20 Manish GoregaokarRollup merge of #73484 - poliorcetics:use-prelude-doc...
2020-06-20 Manish GoregaokarRollup merge of #73458 - tmiasko:arena-layout, r=matthe...
2020-06-20 Manish GoregaokarRollup merge of #73452 - matthewjasper:auto-rec, r...
2020-06-20 Manish GoregaokarRollup merge of #73440 - jyn514:bootstrap/build-rustdoc...
2020-06-20 Manish GoregaokarRollup merge of #73436 - GuillaumeGomez:cleanup-e0670...
2020-06-20 Manish GoregaokarRollup merge of #73399 - GuillaumeGomez:cleanup-e0668...
2020-06-20 Manish GoregaokarRollup merge of #73359 - jonas-schievink:do-the-shimmy...
2020-06-20 Manish GoregaokarRollup merge of #73347 - tmiasko:incompatible-sanitizer...
2020-06-20 Manish GoregaokarRollup merge of #73027 - doctorn:issue-72690, r=estebank
2020-06-20 Manish GoregaokarRollup merge of #72689 - lcnr:common_str, r=estebank
2020-06-20 Manish GoregaokarRollup merge of #71420 - RalfJung:specialization-incomp...
2020-06-19 Manish GoregaokarRollup merge of #73489 - sexxi-goose:init_place_refacto...
2020-06-19 Manish GoregaokarRollup merge of #73465 - lzutao:spec-char-tostring...
2020-06-19 Manish GoregaokarRollup merge of #73382 - Aaron1011:fix/self-receiver...
2020-06-19 Manish GoregaokarRollup merge of #73364 - joshtriplett:inline-asm, r...
2020-06-19 Manish GoregaokarRollup merge of #73357 - petrochenkov:tmap, r=davidtwco
2020-06-19 Manish GoregaokarRollup merge of #73334 - ayazhafiz:err/num-type-cannot...
2020-06-19 Manish GoregaokarRollup merge of #73300 - crlf0710:crate_level_only_chec...
2020-06-19 Manish GoregaokarRollup merge of #73261 - estebank:generics-sized, r...
2020-06-19 Manish GoregaokarRollup merge of #73214 - androm3da:hex_inline_asm_00...
2020-06-19 Manish GoregaokarRollup merge of #71568 - hbina:document_unsafety_slice_...
2020-06-19 Ralf JungRollup merge of #73352 - ehuss:bootstrap-metadata,...
2020-06-19 Ralf JungRollup merge of #73350 - nodakai:install-rs-support...
2020-06-19 Ralf JungRollup merge of #73317 - davidtwco:bootstrap-config...
2020-06-19 Ralf JungRollup merge of #73280 - GuillaumeGomez:add-e0763,...
2020-06-19 Ralf JungRollup merge of #73136 - alexcrichton:thinlto-compiler...
2020-06-19 Ralf JungRollup merge of #73054 - RalfJung:dont-panic, r=Mark...
2020-06-19 Ralf JungRollup merge of #73044 - tmiasko:compiletest-san, r...
2020-06-19 Ralf JungRollup merge of #73011 - richkadel:llvm-count-from...
2020-06-19 Ralf JungRollup merge of #72785 - petrochenkov:wholemsvc, r...
2020-06-19 Ralf JungRollup merge of #72280 - nbdd0121:typeck, r=nikomatsakis
2020-06-19 Ralf JungRollup merge of #73479 - pickfire:liballoc-spell, r...
2020-06-19 Ralf JungRollup merge of #73464 - qy3u:fs-document-format-correc...
2020-06-19 Ralf JungRollup merge of #73459 - cuviper:into_boxed_slice-unica...
2020-06-19 Ralf JungRollup merge of #73362 - erikdesjardins:bounds, r=nikom...
2020-06-19 Ralf JungRollup merge of #73346 - aszenz:patch-1, r=cuviper
2020-06-19 Ralf JungRollup merge of #73305 - crlf0710:disallow_loading_mons...
2020-06-19 Ralf JungRollup merge of #73142 - ehuss:std-benches, r=dtolnay
2020-06-19 Ralf JungRollup merge of #73130 - wesleywiser:remove_const_prop_...
2020-06-19 Ralf JungRollup merge of #72999 - mati865:separate-self-containe...
2020-06-19 Ralf JungRollup merge of #72497 - RalfJung:tag-term, r=oli-obk
2020-06-19 Ralf JungRollup merge of #72486 - Ralith:asinh-fix, r=dtolnay
2020-06-19 Ralf JungRollup merge of #72331 - oddg:forbid-cast-of-cenum...
2020-06-19 Ralf JungRollup merge of #70740 - haraldh:static-pie, r=petrochenkov
2020-06-19 borsAuto merge of #73486 - Manishearth:rollup-11iyqpc,...
2020-06-18 Manish GoregaokarRollup merge of #73476 - JakobDegen:should_panic_rustdo...
2020-06-18 Manish GoregaokarRollup merge of #73447 - lzutao:stabilize-result_as_der...
2020-06-18 Manish GoregaokarRollup merge of #73428 - pierwill:patch-1, r=jonas...
2020-06-18 Manish GoregaokarRollup merge of #73425 - poliorcetics:zeroed-functions...
2020-06-18 Manish GoregaokarRollup merge of #73361 - estebank:non-primitive-cast...
2020-06-18 Manish GoregaokarRollup merge of #73320 - estebank:type-param-sugg-more...
2020-06-18 Manish GoregaokarRollup merge of #73315 - GuillaumeGomez:clean-up-config...
2020-06-18 Manish GoregaokarRollup merge of #73034 - doctorn:nomangle-inline-linkag...
2020-06-18 Manish GoregaokarRollup merge of #72968 - integer32llc:docs-arrow-keys...
2020-06-18 Manish GoregaokarRollup merge of #72836 - poliorcetics:std-time-os-speci...
2020-06-18 Manish GoregaokarRollup merge of #72814 - RalfJung:mir-visir-terminator...
2020-06-18 Manish GoregaokarRollup merge of #72804 - estebank:opaque-missing-lts...
2020-06-18 Manish GoregaokarRollup merge of #72628 - MikailBag:array-default-tests...
2020-06-18 Manish GoregaokarRollup merge of #72279 - RalfJung:raw-ref-macros, r...
2020-06-18 Manish GoregaokarRollup merge of #71976 - mibac138:let-recovery, r=estebank
2020-06-18 Manish GoregaokarRollup merge of #71338 - estebank:recursive-impl-trait...
2020-06-18 Manish GoregaokarRollup merge of #70551 - mark-i-m:ty-err-2, r=varkor
2020-06-15 markmake all uses of ty::Error or ConstKind::Error delay...
2020-06-15 borsAuto merge of #72357 - ortem:new-dbg-pretty-printers...
2020-06-15 Ralf JungRollup merge of #72598 - Aaron1011:feature/fnmut-captur...
2020-06-15 Ralf JungRollup merge of #72584 - CAD97:stabilize-58957, r=dtolnay
2020-06-15 Ralf JungRollup merge of #72556 - matthew-mcallister:trait-alias...
2020-06-11 Dylan DPCRollup merge of #73187 - mati865:bootstrap-cleanup...
2020-06-11 Dylan DPCRollup merge of #72180 - euclio:rustdoc-test-extra...
2020-06-11 Dylan DPCRollup merge of #72380 - lcnr:const_context, r=estebank
2020-06-10 Rich KadelMerge pull request #2 from rust-lang/master
2020-06-09 Lzu TaoMerge commit 'ff0993c5e9162ddaea78e83d0f0161e68bd4ea73...
2020-06-08 Dylan DPCRollup merge of #71842 - tspiteri:doc-impl-const, r...
2020-06-08 Ralf JungRollup merge of #72615 - jschwe:fix-Zprofile-documentat...
2020-06-08 Ralf JungRollup merge of #72583 - CAD97:vec-iter-asref-slice...
2020-06-08 Ralf JungRollup merge of #72026 - botika:master, r=estebank
2020-06-06 Ralf JungRollup merge of #71796 - RalfJung:from-secs, r=nikomatsakis
2020-06-05 Dylan DPCRollup merge of #72260 - csmoe:issue-69276, r=estebank
2020-06-02 Yuki OkushiRollup merge of #72880 - GuillaumeGomez:cleanup-e0637...
2020-06-01 Dylan DPCRollup merge of #72818 - GuillaumeGomez:cleanup-e0622...
2020-05-31 Dylan DPCRollup merge of #72691 - GuillaumeGomez:escape-key...
2020-05-31 Ralf JungRollup merge of #72715 - estebank:trailing-comma-where...
2020-05-31 borsAuto merge of #72116 - petrhosek:fuchsia-ld-flags,...
2020-05-30 Ralf JungRollup merge of #72773 - Rantanen:is_char_boundary...
2020-05-30 Ralf JungRollup merge of #72669 - petrochenkov:smclean, r=Mark...
2020-05-30 Ralf JungRollup merge of #72666 - ivanloz:profile_emit_flag...
2020-05-30 Ralf JungRollup merge of #72657 - flip1995:impl_lint_pass-ty...
2020-05-30 Ralf JungRollup merge of #72650 - GuillaumeGomez:sort-sidebar...
2020-05-30 Ralf JungRollup merge of #72637 - euclio:env-hygiene, r=davidtwco
next