about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-11Also expand weak alias tys inside consts inside `expand_weak_alias_tys`León Orell Valerian Liehr-1/+1
2024-05-06Refactor float `Primitive`s to a separate `Float` typebeetrees-4/+3
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+1
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-0/+92
2024-04-22Fix typo in the has_surface_drop's doc commentDaria Sukhonina-1/+1
2024-04-19Stop taking ParamTy/ParamConst/EarlyParamRegion/AliasTy by refMichael Goulet-4/+4
2024-04-18Fix disabling the export of noop async_drop_in_place_rawDaria Sukhonina-1/+1
2024-04-17Use non-exhaustive matches for TyKindDaria Sukhonina-58/+59
2024-04-16Add simple async drop glue generationzetanumbers-0/+91
2024-04-16Rollup merge of #123603 - compiler-errors:no-intrinsic, r=estebankLeón Orell Valerian Liehr-3/+8
2024-04-08Actually create ranged int types in the type system.Oli Scherer-5/+10
2024-04-07Don't even parse an intrinsic unless the feature gate is enabledMichael Goulet-3/+8
2024-04-04cache type info for ParamEnvLukas Markeffsky-9/+11
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-6/+6
2024-03-19Do binder folding eagerly in bound_coroutine_hidden_typesMichael Goulet-2/+34
2024-03-12s/mt/mutability/Oli Scherer-1/+5
2024-03-12Add `nested` bool to `DefKind::Static`.Oli Scherer-1/+1
2024-03-12Change `DefKind::Static` to a struct variantOli Scherer-2/+2
2024-03-05Avoid invoking the `intrinsic` query for DefKinds other than `Fn` or `AssocFn`Oli Scherer-6/+2
2024-03-04make `intrinsic` query legal for any `DefId`Oli Scherer-0/+4
2024-03-04Add a scheme for moving away from `extern "rust-intrinsic"` entirelyOli Scherer-1/+4
2024-03-04Return a struct from `query intrinsic` to be able to add another field in the...Oli Scherer-4/+4
2024-02-25remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsicsRalf Jung-1/+1
2024-02-20Move the peeling function for weak alias typesLeón Orell Valerian Liehr-0/+33
2024-02-20Introduce expand_weak_alias_tysLeón Orell Valerian Liehr-0/+61
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-7/+2
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-5/+11
2024-02-13Uplift TypeVisitableExt into rustc_type_irMichael Goulet-0/+1
2024-02-12Implement intrinsics with fallback bodiesOli Scherer-1/+2
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-4/+9
2024-02-11is_closure_likeMichael Goulet-7/+9
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-2/+13
2024-01-26Auto merge of #116167 - RalfJung:structural-eq, r=lcnrbors-5/+4
2024-01-24remove StructuralEq traitRalf Jung-5/+4
2024-01-23Remove track_errors entirelyOli Scherer-1/+1
2024-01-16Rollup merge of #119969 - compiler-errors:simplify-closure-env-ty, r=oli-obkMatthias Krüger-9/+5
2024-01-14Simplify closure_env_ty and closure_env_paramMichael Goulet-9/+5
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-1/+1
2024-01-09Auto merge of #117703 - compiler-errors:recursive-async, r=lcnrbors-12/+51
2024-01-09Rollup merge of #119725 - compiler-errors:has_effect_param, r=fmeaseMatthias Krüger-1/+8
2024-01-08Only compute layout of opaque if coroutine is the cause of an opaque cycleMichael Goulet-1/+24
2024-01-08Point out source of recursionMichael Goulet-9/+36
2024-01-08Don't check for recursion in generator witness fieldsMichael Goulet-12/+1
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-1/+1
2024-01-08Add helper for when we want to know if an item has a host paramMichael Goulet-1/+8
2024-01-05Rollup merge of #119151 - Jules-Bertholet:no-foreign-doc-hidden-suggest, r=da...Matthias Krüger-1/+1
2023-12-30is_coroutine -> is_coroutine_or_closureMichael Goulet-1/+1