about summary refs log tree commit diff
path: root/compiler/rustc_mir/src
AgeCommit message (Expand)AuthorLines
2021-06-24Rollup merge of #86566 - fee1-dead:mir-pretty-print, r=oli-obkYuki Okushi-27/+19
2021-06-23Use HTTPS links where possibleSmitty-1/+1
2021-06-23Use `use_verbose` for mir::ConstantDeadbeef-27/+19
2021-06-22implemented separate_const_switch MIR optThéo Degioanni-0/+345
2021-06-22Rollup merge of #86517 - camsteffen:unused-unsafe-async, r=LeSeulArtichautYuki Okushi-0/+1
2021-06-21Fix unused_unsafe with compiler-generated unsafeCameron Steffen-0/+1
2021-06-21Auto merge of #86383 - shamatar:slice_len_lowering, r=bjorn3bors-0/+102
2021-06-20Squashed implementation of the passAlex Vlasov-0/+102
2021-06-19Auto merge of #86437 - nikomatsakis:tait-docs, r=oli-obkbors-2/+55
2021-06-19Rollup merge of #86407 - LingMan:map-or, r=LeSeulArtichautYuki Okushi-6/+3
2021-06-18fix typosNiko Matsakis-3/+4
2021-06-18add various coments to explain how the code worksNiko Matsakis-2/+54
2021-06-18Auto merge of #85421 - Smittyvb:rm_pushpop_unsafe, r=matthewjasperbors-1/+0
2021-06-17Use `map_or` instead of open-coding itLingMan-6/+3
2021-06-17Auto merge of #86399 - JohnTitor:rollup-qlm2dvz, r=JohnTitorbors-27/+42
2021-06-17Rollup merge of #86343 - JohnTitor:issue-85581, r=estebankYuki Okushi-8/+26
2021-06-17Rollup merge of #86340 - Smittyvb:ctfe-hard-error-message, r=RalfJungYuki Okushi-19/+16
2021-06-17Auto merge of #85755 - b-naber:unexpected_concrete_region, r=nikomatsakisbors-27/+11
2021-06-17use to_region_vid in opaque type codeNiko Matsakis-33/+13
2021-06-16Move some hard error logic to InterpErrorSmitty-15/+17
2021-06-17Rollup merge of #86341 - LingMan:ret_val, r=davidtwcoYuki Okushi-11/+14
2021-06-17Rollup merge of #85870 - ptrojahn:mir_dump_whitespace, r=davidtwcoYuki Okushi-1/+4
2021-06-16Auto merge of #86291 - crlf0710:trait_vtbl_refactor, r=bjorn3bors-45/+68
2021-06-16Do not emit invalid suggestions on multiple mutable borrow errorsYuki Okushi-8/+26
2021-06-16Stop returning a value from `report_assert_as_lint`LingMan-11/+14
2021-06-15Use better error message for hard errors in CTFESmitty-9/+4
2021-06-15Refactor to make interpreter and codegen backend neutral to vtable internal r...Charles Lew-45/+68
2021-06-14Adjust `throw_validation_failure` macro to shorten the use of `with_no_trimme...Rémy Rakic-13/+10
2021-06-13Improve CTFE validation error messageRémy Rakic-8/+12
2021-06-13Turn incorrect vtable size/alignment errors into hard const-UB errorsRémy Rakic-9/+10
2021-06-12Rollup merge of #86174 - lqd:const-ub-align, r=RalfJungYuki Okushi-1/+3
2021-06-12Rollup merge of #85823 - fee1-dead:borrowck-0, r=jackh726Yuki Okushi-2/+6
2021-06-11Auto merge of #85994 - tmiasko:monomorphic-needs-drop, r=RalfJungbors-1/+6
2021-06-09detect incorrect vtable alignment during const eval instead of ICE-ingRémy Rakic-1/+3
2021-06-09Auto merge of #86118 - spastorino:tait-soundness-bug, r=nikomatsakisbors-43/+37
2021-06-09Auto merge of #86107 - Smittyvb:peephole-optim-eq-bool, r=wesleywiserbors-7/+14
2021-06-08Simplify code by using VecMap::get_bySantiago Pastorino-3/+1
2021-06-07Remove substs from OpaqueTypeDecl, use the one in OpaqueTypeKeySantiago Pastorino-1/+1
2021-06-07Use substs from opaque type key instead of using it from opaque_declSantiago Pastorino-11/+7
2021-06-07Make opaque type map key be of type OpaqueTypeKeySantiago Pastorino-2/+4
2021-06-07Remove ResolvedOpaqueTy and just use Ty, SubstsRef is already thereSantiago Pastorino-27/+18
2021-06-07Make OpaqueTypeKey the key of opaque types mapSantiago Pastorino-28/+34
2021-06-07Change concrete opaque type to be a `VecMap`Santiago Pastorino-2/+3
2021-06-07Change opaque type map to be a `VecMap`Santiago Pastorino-1/+1
2021-06-07Peephole optimize `x == false` and `x != true`Smitty-7/+14
2021-06-07Rollup merge of #85973 - LingMan:indentation, r=jyn514Yuki Okushi-25/+22
2021-06-06Remove some last remants of {push,pop}_unsafe!Smitty-1/+0
2021-06-06Add variance-related information to lifetime error messagesAaron Hill-101/+172
2021-06-05Explain that `ensure_monomorphic_enough` omission is intentionalTomasz Miąsko-0/+2
2021-06-05Disallow non-monomorphic calls to `needs_drop` in interpreterTomasz Miąsko-1/+4