about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2021-06-19Auto merge of #86437 - nikomatsakis:tait-docs, r=oli-obkbors-0/+28
2021-06-19Auto merge of #86456 - JohnTitor:rollup-jjzupny, r=JohnTitorbors-0/+9
2021-06-18Auto merge of #86194 - RalfJung:const-ub-hard-error, r=oli-obkbors-0/+1
2021-06-18Fix ICE with `#[repr(simd)]` on enumFabian Wolff-0/+9
2021-06-18add various coments to explain how the code worksNiko Matsakis-0/+28
2021-06-18Auto merge of #85421 - Smittyvb:rm_pushpop_unsafe, r=matthewjasperbors-4/+0
2021-06-18make UB during CTFE a hard errorRalf Jung-0/+1
2021-06-17Rollup merge of #86340 - Smittyvb:ctfe-hard-error-message, r=RalfJungYuki Okushi-0/+10
2021-06-17Auto merge of #85834 - cjgillot:save-sbi, r=michaelwoeristerbors-67/+36
2021-06-16Auto merge of #86379 - JohnTitor:rollup-mkz9x36, r=JohnTitorbors-5/+1
2021-06-16Move some hard error logic to InterpErrorSmitty-0/+10
2021-06-17Rollup merge of #86353 - JohnTitor:remove-projection_ty_from_predicates, r=ol...Yuki Okushi-5/+1
2021-06-16Auto merge of #86266 - LeSeulArtichaut:box-thir-adt, r=davidtwcobors-13/+16
2021-06-16Remove `projection_ty_from_predicates`Yuki Okushi-5/+1
2021-06-16Auto merge of #86291 - crlf0710:trait_vtbl_refactor, r=bjorn3bors-3/+19
2021-06-15Refactor to make interpreter and codegen backend neutral to vtable internal r...Charles Lew-3/+19
2021-06-14Improve documentation on `UndefinedBehaviorInfo::ValidationFailure`Rémy Rakic-0/+2
2021-06-13Improve CTFE validation error messageRémy Rakic-4/+10
2021-06-13Box `ExprKind::Adt`LeSeulArtichaut-13/+16
2021-06-13Auto merge of #86245 - lqd:const-ub-align, r=RalfJungbors-2/+10
2021-06-13Turn incorrect vtable size/alignment errors into hard const-UB errorsRémy Rakic-2/+10
2021-06-12Pretty print generator witness only in `-Zverbose` modeTomasz Miąsko-3/+3
2021-06-12Auto merge of #86130 - BoxyUwU:abstract_const_as_cast, r=oli-obkbors-2/+3
2021-06-12Auto merge of #86180 - cjgillot:defmv, r=petrochenkovbors-51/+2
2021-06-12Rollup merge of #86189 - JohnTitor:relate-fn-pub, r=Aaron1011Yuki Okushi-1/+1
2021-06-12Rollup merge of #85800 - BoxyUwU:const-param-default-diagnostics, r=oli-obkYuki Okushi-1/+1
2021-06-11Hash DefId in rustc_span.Camille GILLOT-51/+2
2021-06-10Make `relate_type_and_mut` publicYuki Okushi-1/+1
2021-06-10Auto merge of #85910 - cjgillot:no-meta-version, r=Aaron1011bors-5/+0
2021-06-09Access stable_crate_id directly.Camille GILLOT-2/+7
2021-06-09Do not store crate in latest_foreign_def_path_hashes.Camille GILLOT-7/+0
2021-06-09Encode CrateNum using the StableCrateId for incr. comp.Camille GILLOT-67/+38
2021-06-09Auto merge of #86150 - cjgillot:notable, r=michaelwoeristerbors-21/+3
2021-06-09Auto merge of #86118 - spastorino:tait-soundness-bug, r=nikomatsakisbors-15/+13
2021-06-08Do not require the DefPathTable to construct the on-disk cache.Camille GILLOT-21/+3
2021-06-08use non_erasable_genericsEllen-1/+1
2021-06-08Support as casts in abstract constsEllen-2/+3
2021-06-07Remove ResolvedOpaqueTy and just use Ty, SubstsRef is already thereSantiago Pastorino-14/+3
2021-06-07Make OpaqueTypeKey the key of opaque types mapSantiago Pastorino-2/+10
2021-06-07Change concrete opaque type to be a `VecMap`Santiago Pastorino-3/+4
2021-06-07Auto merge of #85891 - bjorn3:revert_merge_crate_disambiguator, r=Mark-Simula...bors-35/+40
2021-06-07Revert "Merge CrateDisambiguator into StableCrateId"bjorn3-35/+40
2021-06-07Rollup merge of #84262 - camelid:sized-ice, r=estebankYuki Okushi-1/+8
2021-06-06Remove some last remants of {push,pop}_unsafe!Smitty-4/+0
2021-06-06Add variance-related information to lifetime error messagesAaron Hill-29/+111
2021-06-06Auto merge of #84171 - ricobbe:raw-dylib-via-llvm, r=petrochenkovbors-0/+7
2021-06-05Auto merge of #86002 - cjgillot:expn_that_defined, r=petrochenkovbors-15/+8
2021-06-05Update compiler/rustc_middle/src/query/mod.rsCamille Gillot-1/+0
2021-06-05Auto merge of #85919 - workingjubilee:simd-ptrs-are-valid, r=petrochenkovbors-5/+0
2021-06-04Add first cut of functionality for #58713: support for #[link(kind = "raw-dyl...Richard Cobbe-0/+7