about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src
AgeCommit message (Expand)AuthorLines
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-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
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-3/+2
2024-02-20Fix stray trait mismatch in resolve_associated_item for AsyncFnMichael Goulet-15/+3
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-1/+2
2024-02-13Auto merge of #120919 - oli-obk:impl_polarity, r=compiler-errorsbors-3/+4
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-20/+23
2024-02-12Stop calling `impl_polarity` when `impl_trait_ref` was also calledOli Scherer-3/+4
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-1/+2
2024-02-12Dejargnonize substShoyu Vanilla-20/+23
2024-02-12Lower anonymous structs or unions to HIRFrank King-2/+1
2024-02-11Auto merge of #120619 - compiler-errors:param, r=lcnrbors-3/+1
2024-02-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-0/+31