summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-04-14Rollup merge of #110299 - kylematsuda:earlybinder-impl-subject, r=compiler-er...Matthias Krüger-4/+0
2023-04-14Auto merge of #110160 - petrochenkov:notagain2, r=cjgillotbors-3/+25
2023-04-13make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u...Kyle Matsuda-4/+0
2023-04-13Rollup merge of #110233 - nbdd0121:intrinsic, r=tmiaskoMatthias Krüger-2/+3
2023-04-13Remove some unused type folders.Nicholas Nethercote-77/+2
2023-04-13Make `Region::as_var` infallible.Nicholas Nethercote-3/+3
2023-04-12Rollup merge of #110175 - nnethercote:symbol-cleanups, r=jackh726Matthias Krüger-5/+10
2023-04-12Rollup merge of #110153 - DaniPopes:compiler-typos, r=NilstriebMatthias Krüger-1/+1
2023-04-12Make rust-intrinsic ABI unwindableGary Guo-2/+3
2023-04-12resolve: Pre-compute non-reexport module childrenVadim Petrochenkov-3/+25
2023-04-11Rollup merge of #110126 - compiler-errors:new-solver-safe-transmute, r=oli-obkMichael Goulet-0/+3
2023-04-11Add `sym::anon`.Nicholas Nethercote-1/+1
2023-04-11Introduce `Region::get_name_or_anon`.Nicholas Nethercote-5/+10
2023-04-10Fix typos in compilerDaniPopes-1/+1
2023-04-10Auto merge of #108698 - IntQuant:issue-100717-infer-6, r=davidtwcobors-8/+24
2023-04-10Support safe transmute in new solverMichael Goulet-0/+3
2023-04-10Call `into_diagnostic_arg` on Binder's contained value directly.IQuant-3/+21
2023-04-09Remove identity castsNilstrieb-2/+2
2023-04-09Fix some clippy::complexityNilstrieb-2/+2
2023-04-09Auto merge of #109500 - petrochenkov:modchainld, r=oli-obkbors-1/+1
2023-04-08Auto merge of #106281 - JulianKnodt:transmute_const_generics, r=b-naberbors-0/+95
2023-04-08rustc_middle: Remove `Option` from `module_reexports` queryVadim Petrochenkov-1/+1
2023-04-07Add feature gatekadmin-7/+9
2023-04-07Add a size assertion for `RegionKind`.Nicholas Nethercote-4/+11
2023-04-06Remove u32 on BoundTyKind::AnonJack Huey-9/+5
2023-04-06Remove index from BrAnonJack Huey-13/+7
2023-04-06Remove expect_anon and expect_anon_placeholder in favor of varJack Huey-18/+0
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-11/+18
2023-04-06Auto merge of #110012 - matthiaskrgr:rollup-sgmm5xv, r=matthiaskrgrbors-2/+0
2023-04-06Rollup merge of #109984 - scottmcm:less-float, r=NilstriebMatthias Krüger-2/+0
2023-04-06Auto merge of #109333 - Zoxc:erase-query-cache-values, r=cjgillotbors-12/+23
2023-04-06Remove f32 & f64 from MemDecoder/MemEncoderScott McMurray-2/+0
2023-04-06Auto merge of #109915 - scottmcm:layout-indexvec, r=oli-obkbors-1/+2
2023-04-06Don't rely on `Debug` impl for `Erased`John Kåre Alsaker-0/+1
2023-04-06Erase query cache valuesJohn Kåre Alsaker-12/+22
2023-04-04Use `FieldIdx` in `FieldsShape`Scott McMurray-1/+2
2023-04-04Rollup merge of #109938 - oli-obk:try_norm, r=compiler-errorsMichael Goulet-3/+3
2023-04-04A more general implementation of `IntoDiagnosticArg` for `Binder` (Also remov...IQuant-13/+11
2023-04-04Move a const-prop-lint specific hack from mir interpret to const-prop-lint an...Oli Scherer-3/+3
2023-04-04Add ability to transmute with generic constskadmin-0/+93
2023-04-04Remove intercrate and mark_ambiguous from RelationMichael Goulet-30/+10
2023-04-03Auto merge of #109819 - scottmcm:index-slice, r=WaffleLapkinbors-2/+2
2023-04-03fix(middle): emit error rather than delay bug when reaching limitbohan-5/+9
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-2/+2
2023-04-01use and_then/flat_map for map().flatten()Matthias Krüger-1/+1
2023-03-31Auto merge of #109762 - scottmcm:variantdef-indexvec, r=WaffleLapkinbors-25/+26
2023-03-31Auto merge of #109750 - compiler-errors:deep-reject-less-permissive-num-var, ...bors-0/+4
2023-03-30Auto merge of #109740 - compiler-errors:new-solver-deep-reject-placeholder-co...bors-1/+5
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-25/+26
2023-03-30deep reject only unify numeric var with concrete numericMichael Goulet-0/+4