about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils
AgeCommit message (Expand)AuthorLines
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-8/+5
2023-09-19Don't resolve generic instances if they may be shadowed by dynMichael Goulet-1/+24
2023-09-18Explain `with_reveal_all_normalized` usageOli Scherer-0/+3
2023-09-14Auto merge of #115817 - fee1-dead-contrib:fix-codegen, r=oli-obkbors-0/+1
2023-09-14treat host effect params as erased generics in codegenDeadbeef-0/+1
2023-09-12add helper method for finding the one non-1-ZST fieldRalf Jung-13/+5
2023-09-11Disentangle `Debug` and `Display` for `Ty`.Nicholas Nethercote-1/+2
2023-09-08Auto merge of #115372 - RalfJung:abi-assert-eq, r=davidtwcobors-0/+2
2023-09-07Don't require `Drop` for `[PhantomData<T>; N]` where `N` and `T` are generic,...Oli Scherer-2/+22
2023-09-07extend comments around PassMode::DirectRalf Jung-0/+2
2023-08-29some more is_zst that should be is_1zstRalf Jung-3/+3
2023-08-26Use `preserve_mostcc` for `extern "rust-cold"`Scott McMurray-1/+4
2023-08-09Rollup merge of #114670 - compiler-errors:issue-114660, r=cjgillotMatthias Krüger-35/+30
2023-08-09Don't use type_of to determine if item has intrinsic shimMichael Goulet-35/+30
2023-08-08feat: `riscv-interrupt-{m,s}` calling conventionsSeth Pellegrino-0/+3
2023-08-08Auto merge of #114602 - compiler-errors:rpit-outlives-sadness, r=oli-obkbors-22/+13
2023-08-08Install bidirectional outlives predicates for RPITITs (and RPITs) correctlyMichael Goulet-22/+13
2023-08-08Unconditionally record lifetime mappingMichael Goulet-1/+1
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-5/+7
2023-08-02Rollup merge of #114079 - compiler-errors:closure-upvars, r=oli-obkNilstrieb-4/+12
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-4/+12
2023-08-01Fix a commentMichael Goulet-1/+2
2023-08-01don't create a predicate for just a comparisonMichael Goulet-4/+10
2023-08-01Convert adt_sized_constraint to early-binder, use listMichael Goulet-4/+7
2023-07-31Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorinoMatthias Krüger-2/+4
2023-07-31We don't need impl_trait_in_trait_parent_fn anymoreMichael Goulet-2/+4
2023-07-30Don't install default projection bound for RPITITsMichael Goulet-1/+3
2023-07-29some nits, bless testMichael Goulet-5/+27
2023-07-29Implement assumed_wf_types for RPITITs' implementationsMichael Goulet-33/+58
2023-07-29Take RPITITs inherit the assumed_wf_types of their parent fnMichael Goulet-0/+38
2023-07-29Rollup merge of #113773 - compiler-errors:err-layout-bail, r=cjgillotMatthias Krüger-2/+13
2023-07-28Rollup merge of #114146 - compiler-errors:dont-report-rpitit-name, r=spastorinoMatthias Krüger-2/+10
2023-07-27tighten span slightly for synthetic itemMichael Goulet-2/+10
2023-07-27Don't attempt to compute layout of type referencing errorMichael Goulet-2/+13
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-77/+1
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-1/+1
2023-07-25Make everything builtin!Michael Goulet-8/+11
2023-07-25Restore tuple unsizing feature gateMichael Goulet-1/+3
2023-07-23fix some clippy::style findingsMatthias Krüger-1/+1
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-470/+113
2023-07-21Track (partial) niche information in `NaiveLayout`Moulins-33/+115
2023-07-21Move `naive_layout_of` query provider in separate sibling moduleMoulins-230/+253
2023-07-21Add doc-comments for `NaiveLayout`Moulins-1/+1
2023-07-21Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checksMoulins-55/+77
2023-07-21Track exactness in `NaiveLayout` and use it for `SizeSkeleton` checksMoulins-32/+39
2023-07-21restrict the valid range of references if `-Z reference-niches` is setMoulins-11/+33
2023-07-21add crate-local `-Z reference_niches` unstable flag (does nothing for now)Moulins-2/+9
2023-07-21properly handle arrays and wide pointers in `naive_layout_of`Moulins-80/+115
2023-07-21add `naive_layout_of` queryMoulins-19/+178
2023-07-18Rollup merge of #113824 - lcnr:exhaustive-match, r=wesleywiserMatthias Krüger-3/+27