about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-04-12Lift `Pointer`'s requirement for the pointer to be thinMaybe Waffle-17/+14
2023-04-11Rollup merge of #110126 - compiler-errors:new-solver-safe-transmute, r=oli-obkMichael Goulet-0/+3
2023-04-11Bless tagged pointers (comply to strict provenance)Maybe Waffle-9/+7
2023-04-11Add `bits_for` helper for tagged pointers & fixup docsMaybe Waffle-1/+2
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-08Remove `remap_env_constness` in queriesDeadbeef-20/+0
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
2023-03-29Don't ICE on placeholder consts in deep rejectMichael Goulet-1/+5
2023-03-29Rollup merge of #109716 - scottmcm:field-to-fieldidx, r=oli-obkMatthias Krüger-7/+5
2023-03-29Auto merge of #108089 - Zoxc:windows-tls, r=bjorn3bors-1/+39
2023-03-29Support TLS access into dylibs on WindowsJohn Kåre Alsaker-1/+39
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-7/+5
2023-03-29Inline and remove `generic_args_may_unify`.Nicholas Nethercote-19/+12