about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src
AgeCommit message (Expand)AuthorLines
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-2/+1
2024-04-02Auto merge of #118310 - scottmcm:three-way-compare, r=davidtwcobors-1/+1
2024-03-27Rollup merge of #123021 - compiler-errors:coroutine-layout-lol, r=oli-obkGuillaume Gomez-2/+2
2024-03-26In ConstructCoroutineInClosureShim, pass receiver by ref, not pointerMichael Goulet-2/+6
2024-03-24Require coroutine kind type to be passed to TyCtxt::coroutine_layoutMichael Goulet-2/+2
2024-03-24Always use tcx.coroutine_layout over calling optimized_mir directlyMichael Goulet-1/+1
2024-03-23Add+Use `mir::BinOp::Cmp`Scott McMurray-1/+1
2024-03-22-Zprint-type-sizes: print the types of awaitees and unnamed coroutine locals.Kevin Reid-1/+9
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-2/+2
2024-03-19Fix ABI for FnMut/Fn impls for async closuresMichael Goulet-4/+13
2024-03-19Only split by-ref/by-move futures for async closuresMichael Goulet-29/+22
2024-03-19Ensure nested statics have a HIR node to prevent various queries from ICEingOli Scherer-25/+4
2024-03-19The AssocOpaqueTy HIR node is not actually needed to differentiate from other...Oli Scherer-5/+3
2024-03-19Auto merge of #122493 - lukas-code:sized-constraint, r=lcnrbors-74/+68
2024-03-18address nitsLukas Markeffsky-7/+4
2024-03-15Rollup merge of #122513 - petrochenkov:somehir4, r=fmeaseGuillaume Gomez-5/+1
2024-03-14Fill in HIR hash for associated opaque typesVadim Petrochenkov-3/+9
2024-03-14clean up ADT sized constraint computationLukas Markeffsky-70/+67
2024-03-14make `Representability::Infinite` carry `ErrorGuaranteed`Lukas Markeffsky-3/+3
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-5/+1
2024-03-13Create some minimal HIR for associated opaque typesVadim Petrochenkov-8/+21
2024-03-12Rollup merge of #122366 - oli-obk:opaques_defined_by_overflow, r=lcnrJubilee-0/+4
2024-03-12Fix stack overflow with recursive associated typesOli Scherer-0/+4
2024-03-12Manual rustfmtOli Scherer-2/+2
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-3/+3
2024-03-11update comment for RPITIT projectionslcnr-15/+22
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-1/+25
2024-03-10Introduce perma-unstable `wasm-c-abi` flagdaxpedda-1/+1
2024-03-09Rollup merge of #122237 - fee1-dead-contrib:rmord, r=compiler-errorsMatthias Krüger-17/+20
2024-03-09Remove `Ord` from `ClosureKind`Deadbeef-17/+20
2024-03-08Rename some functions to represent their generalized behaviorMichael Goulet-1/+1
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-1/+1
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-3/+2
2024-03-06Rollup merge of #122027 - compiler-errors:rpitit-cycle, r=spastorinoMatthias Krüger-43/+4
2024-03-06Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obkbors-12/+1
2024-03-06Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgrbors-1/+1
2024-03-06Auto merge of #122041 - matthiaskrgr:rollup-imsmdke, r=matthiaskrgrbors-14/+7
2024-03-05Rollup merge of #122018 - RalfJung:box-custom-alloc, r=oli-obkMatthias Krüger-1/+1
2024-03-05Convert `SpannedTypeVisitor` to use `VisitorResult`Jason Newcomb-26/+20
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-15/+10
2024-03-05Merge `impl_trait_in_assoc_types_defined_by` query back into `opaque_types_de...Oli Scherer-14/+7
2024-03-05Uplift some feeding out of associated_type_for_impl_trait_in_impl and into qu...Michael Goulet-43/+4
2024-03-05only set noalias on Box with the global allocatorRalf Jung-1/+1
2024-03-05Rollup merge of #121838 - oli-obk:impl_trait_in_assoc_tys_fix, r=compiler-errorsMatthias Krüger-81/+18
2024-03-04make `intrinsic` query legal for any `DefId`Oli Scherer-3/+1
2024-03-04Merge the impl trait in assoc type collector into the opaque type collector a...Oli Scherer-81/+18
2024-02-28Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`Trevor Gross-0/+2
2024-02-27wf-check RPITslcnr-12/+1
2024-02-25remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsicsRalf Jung-10/+5
2024-02-21Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnrDylan DPC-3/+2