about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-07-27Don't attempt to compute layout of type referencing errorMichael Goulet-2/+7
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-81/+10
2023-07-26Auto merge of #113893 - mdibaiee:type-name-spill-flag, r=compiler-errorsbors-2/+7
2023-07-25Auto merge of #113393 - compiler-errors:next-solver-unsize-rhs, r=lcnrbors-4/+2
2023-07-25Make everything builtin!Michael Goulet-4/+2
2023-07-25interpret: refactor projection code to work on a common trait, and use that f...Ralf Jung-7/+2
2023-07-24Perform OpaqueCast field projection on HIR, too.Oli Scherer-0/+2
2023-07-24new unstable option: -Zwrite-long-types-to-diskMahdi Dibaiee-2/+7
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-265/+21
2023-07-21Auto merge of #113922 - matthiaskrgr:rollup-90cj2vv, r=matthiaskrgrbors-4/+8
2023-07-21Track (partial) niche information in `NaiveLayout`Moulins-10/+48
2023-07-21new solver: add a separate cache for coherencelcnr-4/+8
2023-07-21Add doc-comments for `NaiveLayout`Moulins-12/+26
2023-07-21Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checksMoulins-31/+126
2023-07-21Track exactness in `NaiveLayout` and use it for `SizeSkeleton` checksMoulins-7/+29
2023-07-21Don't treat ref. fields with non-null niches as `dereferenceable_or_null`Moulins-21/+28
2023-07-21recover null-ptr optimization by adding a special case to the niching logicMoulins-0/+1
2023-07-21add `naive_layout_of` queryMoulins-0/+67
2023-07-20Rollup merge of #113884 - oli-obk:delay_span_bug_detrans_late, r=davidtwcoMatthias Krüger-2/+1
2023-07-20Don't translate compiler-internal bug messagesOli Scherer-2/+1
2023-07-20add FIXMElcnr-0/+3
2023-07-20XSimplifiedType to SimplifiedType::Xlcnr-55/+57
2023-07-19Make it clearer that edition functions are >=, not ==Michael Goulet-1/+1
2023-07-18Rollup merge of #113832 - WaffleLapkin:track_lint_caller, r=compiler-errorsMatthias Krüger-0/+4
2023-07-18Rollup merge of #113824 - lcnr:exhaustive-match, r=wesleywiserMatthias Krüger-9/+9
2023-07-18Add `#[track_caller]` to lint related diagnostic functionsMaybe Waffle-0/+4
2023-07-18some additional refactorlcnr-9/+9
2023-07-18Auto merge of #113677 - bryangarza:unevaluated-const-ice_issue-110892, r=davi...bors-0/+8
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-15/+19
2023-07-17Safe Transmute: Fix ICE (due to UnevaluatedConst)Bryan Garza-0/+8
2023-07-17Auto merge of #113562 - saethlin:larger-incr-comp-offset, r=nnethercotebors-0/+1
2023-07-17Auto merge of #113336 - compiler-errors:new-solver-iat, r=lcnrbors-1/+1
2023-07-17Rollup merge of #113539 - agnarrarendelle:master, r=workingjubileeMatthias Krüger-1/+1
2023-07-16Add support for inherent projectionsMichael Goulet-1/+1
2023-07-15Auto merge of #112157 - erikdesjardins:align, r=nikicbors-0/+2
2023-07-14i686-windows: make requested alignment > 4 special case apply transitivelyErik Desjardins-1/+1
2023-07-14Use u64 for incr comp allocation offsetsBen Kimock-0/+1
2023-07-14Rollup merge of #113698 - compiler-errors:rpitit-check, r=spastorinoMatthias Krüger-0/+4
2023-07-14Make it clearer that we're just checking for an RPITITMichael Goulet-0/+4
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-851/+847
2023-07-14Introduce ExtentUnord trait for collections that can safely consume UnordItems.Michael Woerister-2/+2
2023-07-14Enable potential_query_instability lint in rustc_hir_typeck.Michael Woerister-14/+13
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-4/+9
2023-07-12Flip cfg's for bootstrap bumpMark Rousskov-1/+1
2023-07-12Auto merge of #113573 - lcnr:typeck-results, r=compiler-errorsbors-7/+4
2023-07-11Auto merge of #112984 - BoxyUwU:debug_with_infcx, r=compiler-errorsbors-33/+207
2023-07-12fixed typosagnarrarendelle-1/+1
2023-07-11remove unnecessary `Rc`lcnr-7/+4
2023-07-10aarch64-linux: properly handle 128bit aligned aggregatesErik Desjardins-0/+1
2023-07-10repr(align) <= 4 should still be byvalErik Desjardins-1/+1