summary refs log tree commit diff
path: root/compiler/rustc_ty_utils
AgeCommit message (Expand)AuthorLines
2025-03-07Don't infer unwinding of virtual calls based on the function attributesDianQK-6/+13
2025-03-07Don't infer attributes of virtual calls based on the function bodyDianQK-34/+29
2025-02-13Auto merge of #136593 - lukas-code:ty-value-perf, r=oli-obkbors-9/+3
2025-02-13Auto merge of #136954 - jhpratt:rollup-koefsot, r=jhprattbors-1/+1
2025-02-12Rollup merge of #136807 - workingjubilee:merge-gpus-to-get-the-arcradeongefor...Jacob Pratt-1/+1
2025-02-13intern valtreesLukas Markeffsky-9/+3
2025-02-12Auto merge of #135994 - 1c3t3a:rename-unsafe-ptr, r=oli-obkbors-2/+2
2025-02-10compiler: die immediately instead of handling unknown target codegenJubilee Young-8/+4
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-2/+2
2025-02-09compiler: internally merge `Conv::PtxKernel` into `GpuKernel`Jubilee Young-1/+1
2025-02-08Rustfmtbjorn3-24/+39
2025-02-06Rollup merge of #136435 - Zalathar:thir-pat-stuff, r=NadrierilMatthias Krüger-1/+2
2025-02-05Rollup merge of #133932 - bjorn3:fix_ptx_kernel_abi, r=wesleywiserJubilee-8/+3
2025-02-03Remove `'pat` lifetime from some match-lowering data structuresZalathar-1/+2
2025-02-02Rollup merge of #136279 - Zalathar:ensure-ok, r=oli-obkMatthias Krüger-1/+1
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-1/+1
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+8
2025-01-30introduce `ty::Value`Lukas Markeffsky-14/+11
2025-01-27Add `TooGeneric` variant to `LayoutError` and emit `Unknown` oneFedericoBruzzone-19/+50
2025-01-26Avoid using make_direct_deprecated() in extern "ptx-kernel"bjorn3-8/+3
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-2/+2
2025-01-17new solver: prefer trivial builtin impls over where-clausesRémy Rakic-1/+1
2025-01-17Auto merge of #135047 - Flakebi:amdgpu-kernel-cc, r=workingjubileebors-0/+1
2025-01-16Add gpu-kernel calling conventionFlakebi-0/+1
2025-01-14Consider more erroneous layouts as LayoutError::ReferencesError to suppress s...Michael Goulet-12/+20
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-12/+12
2025-01-10Rollup merge of #133088 - the8472:randomize-me-harder, r=workingjubileeMatthias Krüger-0/+10
2025-01-10Foo<T> != Foo<U> under layout randomizationThe 8472-0/+10
2025-01-09Remove the now-useless `Result` from `lit_to_const`Oli Scherer-7/+2
2025-01-09Use error constant instead of explicit error handlingOli Scherer-1/+0
2025-01-02nit: Make get_infer_ret_ty name more consistent with is_suggestable_infer_tyMichael Goulet-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+14
2024-12-18make no-variant types a dedicated Variants variantRalf Jung-19/+15
2024-12-18Variants::Single: do not use invalid VariantIdx for uninhabited enumsRalf Jung-58/+78
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-3/+2
2024-12-10Implement projection and shim for AFIDTMichael Goulet-0/+26
2024-12-06Remove polymorphizationBen Kimock-17/+2
2024-12-06Only allow PassMode::Direct for aggregates on wasm when using the C ABIbjorn3-10/+20
2024-12-04fn_sig_for_fn_abi should return a ty::FnSig, no need for a binderMichael Goulet-80/+50
2024-12-03Rollup merge of #133681 - RalfJung:niches, r=wesleywiserMatthias Krüger-4/+14
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-1/+1
2024-11-30report UB when the niche value refers to the untagged variantRalf Jung-1/+1
2024-11-30improve TagEncoding::Niche docs and sanity checkRalf Jung-3/+13
2024-11-30Move refinement check out of compare_impl_itemMichael Goulet-0/+2
2024-11-30Make compare_impl_item into a queryMichael Goulet-7/+5
2024-11-28support revealing defined opaque post borrowcklcnr-1/+2
2024-11-28uplift fold_regions to rustc_type_irlcnr-2/+5
2024-11-23rebaselcnr-3/+3
2024-11-23remove remaining references to `Reveal`lcnr-5/+7
2024-11-23no more Reveal :(lcnr-7/+8