]> git.lizzy.rs Git - rust.git/history - compiler/rustc_const_eval/src/transform/validate.rs
Consider lifetimes when comparing types for equality in MIR validator
[rust.git] / compiler / rustc_const_eval / src / transform / validate.rs
2022-04-13 Jakob DegenConsider lifetimes when comparing types for equality...
2022-04-13 Dylan DPCRollup merge of #95954 - AnthonyMikh:fix-broken-coverag...
2022-04-13 Dylan DPCRollup merge of #95441 - AlecGoncharow:issue-95204...
2022-04-12 borsAuto merge of #95905 - vacuus:markdown-render, r=Guilla...
2022-04-12 Dylan DPCRollup merge of #95973 - oli-obk:tait_ub3, r=compiler...
2022-04-12 Dylan DPCRollup merge of #95970 - WaffleLapkin:nicer_trait_sugge...
2022-04-12 Dylan DPCRollup merge of #95918 - compiler-errors:issue-95878...
2022-04-12 Dylan DPCRollup merge of #95914 - c410-f3r:meta-vars, r=petrochenkov
2022-04-12 Dylan DPCRollup merge of #95405 - cjgillot:probe, r=petrochenkov
2022-04-12 Mara BosRollup merge of #95975 - m-ou-se:test-70093-no-cross...
2022-04-12 Mara BosRollup merge of #95963 - luqmana:llvm-dist-cross-filech...
2022-04-12 Mara BosRollup merge of #95794 - nnethercote:parse_tt-a-few...
2022-04-12 Mara BosRollup merge of #95783 - notriddle:notriddle/doctest...
2022-04-12 borsAuto merge of #95867 - cjgillot:fixed-size, r=oli-obk
2022-04-12 borsAuto merge of #95974 - fee1-dead:rollup-2fr55cs, r...
2022-04-12 fee1-deadRollup merge of #95900 - o01eg:fix-wasm-doc, r=Mark...
2022-04-12 fee1-deadRollup merge of #95820 - OliverMD:95150, r=lcnr
2022-04-12 fee1-deadRollup merge of #95671 - gimbles:master, r=Mark-Simulacrum
2022-04-12 borsAuto merge of #95966 - matthiaskrgr:rollup-hhy4nod...
2022-04-12 Matthias KrügerRollup merge of #95936 - TaKO8Ki:fix-relative-paths...
2022-04-12 Matthias KrügerRollup merge of #95920 - compiler-errors:cast-suggestio...
2022-04-12 Matthias KrügerRollup merge of #95910 - ehuss:fix-crate-type-duplicate...
2022-04-12 Matthias KrügerRollup merge of #95909 - vacuus:theme-build-rule, r...
2022-04-12 Matthias KrügerRollup merge of #95881 - TaKO8Ki:use-to-string-instead...
2022-04-12 Matthias KrügerRollup merge of #95722 - xu-cheng:pre-push, r=Mark...
2022-04-12 Matthias KrügerRollup merge of #95320 - JakobDegen:mir-docs, r=oli-obk
2022-04-12 borsAuto merge of #95399 - gilescope:plan_b, r=scottmcm
2022-04-12 borsAuto merge of #95893 - luqmana:no-prepopulate-passes...
2022-04-12 borsAuto merge of #93408 - liangyongrui:master, r=scottmcm
2022-04-11 Jakob DegenRemove rule that place loads may not happen with varian...
2022-04-11 Jakob DegenAddress various comments and change some details around...
2022-04-11 Jakob DegenAdjust MIR validator to check a few more things for...
2022-04-11 Jakob DegenExtend the MIR validator to check many more things...
2022-04-11 Jakob DegenAdjust computation of place types to detect more invali...
2022-04-11 borsAuto merge of #95796 - bzEq:bzEq/curl-redirect, r=Dylan-DPC
2022-04-11 Dylan DPCRollup merge of #95927 - Kobzol:ci-pgo-libcore, r=lqd
2022-04-11 Dylan DPCRollup merge of #95901 - jyn514:remove-duplicate-aliase...
2022-04-11 Dylan DPCRollup merge of #95895 - CAD97:patch-2, r=Dylan-DPC
2022-04-11 Dylan DPCRollup merge of #95894 - nyanpasu64:fix-pin-docs, r...
2022-04-11 Dylan DPCRollup merge of #95864 - luqmana:inline-asm-unwind...
2022-04-11 Dylan DPCRollup merge of #95801 - m-ou-se:futex-rwlock, r=Amanieu
2022-04-11 Dylan DPCRollup merge of #95008 - c410-f3r:let-chains-paren...
2022-04-11 borsAuto merge of #95125 - JakobDegen:uninit-variant-rvalue...
2022-04-11 Jakob DegenAdd new `Deinit` statement kind
2022-04-11 borsAuto merge of #94243 - compiler-errors:compiler-flags...
2022-04-10 Dylan DPCRollup merge of #95857 - ouz-a:mir-opt, r=oli-obk
2022-04-10 borsAuto merge of #95253 - jyn514:cargo-run, r=Mark-Simulacrum
2022-04-10 borsAuto merge of #95502 - jyn514:doc-rustc, r=Mark-Simulacrum
2022-04-10 borsAuto merge of #95254 - jyn514:fix-windows-builds, r...
2022-04-09 Dylan DPCRollup merge of #95369 - jyn514:test-rustdoc, r=Mark...
2022-04-09 Dylan DPCRollup merge of #95361 - scottmcm:valid-align, r=Mark...
2022-04-09 Dylan DPCRollup merge of #95308 - bjorn3:more_stable_proc_macro...
2022-04-09 Dylan DPCRollup merge of #95374 - RalfJung:assert_uninit_valid...
2022-04-08 Dylan DPCRollup merge of #95102 - compiler-errors:issue-94034...
2022-04-08 flip1995Merge commit '984330a6ee3c4d15626685d6dc8b7b759ff630bd...
2022-04-08 borsAuto merge of #95440 - jyn514:error-index, r=Mark-Simul...
2022-04-07 Dylan DPCRollup merge of #95352 - jyn514:full-relative-path...
2022-04-06 Dylan DPCRollup merge of #95185 - m-ou-se:stabilize-stdin-lines...
2022-04-06 Dylan DPCRollup merge of #95649 - ouz-a:mir-opt, r=oli-obk
2022-04-06 Dylan DPCRollup merge of #95353 - jyn514:invalid-filter-hard...
2022-04-06 Dylan DPCRollup merge of #95342 - jyn514:ignore-revs, r=Mark...
2022-04-05 borsAuto merge of #95035 - m-ou-se:futex-locks-on-linux...
2022-04-05 Dylan DPCRollup merge of #95449 - jyn514:doc-stage-0, r=ehuss
2022-04-05 Dylan DPCRollup merge of #95234 - ben0x539:nixquotes, r=Dylan-DPC
2022-04-04 Dylan DPCRollup merge of #95438 - m-ou-se:sync-unsafe-cell,...
2022-04-04 Dylan DPCRollup merge of #95343 - dtolnay:literals, r=petrochenkov
2022-04-04 Dylan DPCRollup merge of #94817 - cuviper:relnotes-1.60.0, r...
2022-04-04 Dylan DPCRollup merge of #92942 - Xaeroxe:raw_arg, r=dtolnay
2022-04-04 borsAuto merge of #95031 - compiler-errors:param-env-cache...
2022-04-03 borsAuto merge of #92686 - saethlin:unsafe-debug-asserts...
2022-04-03 borsAuto merge of #88672 - camelid:inc-parser-sugg, r=davidtwco
2022-04-02 Dylan DPCRollup merge of #95430 - ChrisDenton:disable-tls-i686...
2022-04-01 Matthias KrügerRollup merge of #95344 - jyn514:better-debug-output...
2022-04-01 Matthias KrügerRollup merge of #95293 - compiler-errors:braces, r...
2022-04-01 Matthias KrügerRollup merge of #95260 - compiler-errors:fn, r=davidtwco
2022-03-31 Dylan DPCRollup merge of #95384 - ehuss:doc-target_has_atomic...
2022-03-31 Dylan DPCRollup merge of #95470 - GuillaumeGomez:fix-gui-spuriou...
2022-03-31 Dylan DPCRollup merge of #95445 - jyn514:rustc-unit-tests, r...
2022-03-31 borsAuto merge of #95456 - RalfJung:size, r=oli-obk
2022-03-31 Dylan DPCRollup merge of #95130 - workingjubilee:stably-finished...
2022-03-30 Dylan DPCRollup merge of #95298 - jhorstmann:fix-double-drop...
2022-03-30 Dylan DPCRollup merge of #95251 - GrishaVar:hashes-u16-to-u8...
2022-03-30 Dylan DPCRollup merge of #95011 - michaelwoerister:awaitee_field...
2022-03-30 Dylan DPCRollup merge of #94869 - jackh726:gats_extended, r...
2022-03-30 Dylan DPCRollup merge of #94806 - jyn514:cargo-run-tidy, r=Mark...
2022-03-30 borsAuto merge of #95436 - cjgillot:static-mut, r=oli-obk
2022-03-30 borsAuto merge of #95425 - nnethercote:yet-more-parse_tt...
2022-03-30 borsAuto merge of #95458 - calebcartwright:sync-rustfmt...
2022-03-30 borsAuto merge of #95241 - Gankra:cleaned-provenance, r...
2022-03-30 borsAuto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r...
2022-03-30 Dylan DPCRollup merge of #95294 - sourcefrog:doc-copy, r=dtolnay
2022-03-30 borsAuto merge of #94081 - oli-obk:lazy_tait_take_two,...
2022-03-30 Caleb CartwrightMerge commit '5ff7b632a95bac6955611d85040859128902c580...
2022-03-29 Dylan DPCRollup merge of #95256 - thomcc:fix-unwind-safe, r...
2022-03-29 Dylan DPCRollup merge of #93840 - yaahc:termination-stabilizatio...
2022-03-29 borsAuto merge of #94566 - yanganto:show-ignore-message...
2022-03-29 Dylan DPCRollup merge of #94566 - yanganto:show-ignore-message...
2022-03-28 borsAuto merge of #95249 - HeroicKatora:set-ptr-value,...
2022-03-28 Oli SchererNormalize all projections in mir validation again
2022-03-28 Oli SchererRevert "Auto merge of #93893 - oli-obk:sad_revert,...
next