summary refs log tree commit diff
path: root/compiler/stable_mir/src/ty.rs
AgeCommit message (Expand)AuthorLines
2024-06-04Split smir `Const` into `TyConst` and `MirConst`Boxy-28/+67
2024-05-30Apply x clippy --fix and x fmtr0cky-3/+3
2024-05-24Remove `DefId` from `EarlyParamRegion` (clippy/smir)Boxy-1/+0
2024-05-23Rollup merge of #125336 - momvart:smir-77-intrinsic, r=celinvalLeón Orell Valerian Liehr-0/+35
2024-05-23Add conversion from IntrinsicDef to FnDefMohammad Omidvar-0/+6
2024-05-20Implement BOXED_SLICE_INTO_ITERMichael Goulet-0/+1
2024-05-20Add intrinsic definition and retrieval APIsMohammad Omidvar-0/+29
2024-05-17Rename Unsafe to SafetySantiago Pastorino-4/+3
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+7
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+7
2024-03-28Normalize the result of Fields::ty_with_argsCelina G. Val-2/+2
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+7
2024-03-12Add methods to create constantsCelina G. Val-1/+26
2024-03-01Implement missing ABI structures in StableMIRCelina G. Val-1/+6
2024-02-25remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsicsRalf Jung-1/+0
2024-02-14Rewrite foreign item kind query using `DefKind`Mohammad Omidvar-1/+1
2024-02-12Add APIs for fetching foreign items including foreign modules, their ABIs, an...Mohammad Omidvar-1/+35
2024-01-30Remove the `abi_amdgpu_kernel` featureclubby789-1/+0
2024-01-19Make the remaining "private" fields actually privateOli Scherer-2/+2
2024-01-09Fix all_trait* methods to return all trait availableCelina G. Val-0/+15
2023-12-28Restore movability to SMIRMichael Goulet-3/+4
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-3/+3
2023-12-18Add function ABI and type layout to StableMIRCelina G. Val-0/+6
2023-12-15Add a method to check if type is a CStrCelina G. Val-0/+6
2023-12-14Address PR commentsCelina G. Val-4/+8
2023-12-13Add spread arg and missing CoroutineKindCelina G. Val-3/+7
2023-12-11Remove scalar fn and tighten the BiOp Ty assertionsCelina G. Val-19/+1
2023-12-11Fix doc commentCelina G. Val-1/+1
2023-12-11Fix BinOp ty assertion and `fn_sig` for closuresCelina G. Val-2/+137
2023-12-07Add tests to allocation methods and fix is_null()Celina G. Val-1/+5
2023-12-07Add instance evaluation and methods to read allocCelina G. Val-4/+96
2023-12-06Add sanity check to `BinOp::ty()`Celina G. Val-0/+13
2023-12-06Add method to get type of an Rvalue in StableMIRCelina G. Val-0/+48
2023-12-05Change ty_with_args to return Ty instead of ResultCelina G. Val-2/+7
2023-12-04Add FieldDef to StableMIR and methods to get typeCelina G. Val-1/+41
2023-12-04Add Variant and a few more APIs to stable_mirCelina G. Val-0/+71
2023-12-01Add more information to stable InstanceCelina G. Val-3/+35
2023-11-24Rollup merge of #118215 - celinval:smir-def-paths, r=ouz-aMichael Goulet-28/+45
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-1/+0
2023-11-22Add CrateDef trait and methods to get def namesCelina G. Val-28/+45
2023-11-21Add support to global allocation to stable-mirCelina G. Val-1/+2
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-21Remove ClosureKind predicate kindMichael Goulet-1/+0
2023-11-20Add place.ty() and Ty build from a kind to smirCelina G. Val-1/+76
2023-11-16Add more APIs and fix `Instance::body`Celina G. Val-2/+147
2023-11-15Auto merge of #117908 - lcnr:region-kind-rename, r=BoxyUwUbors-2/+2
2023-11-14finish `RegionKind` renamelcnr-2/+2
2023-11-14Auto merge of #117787 - ouz-a:smir_coroutinewitness, r=celinvalbors-0/+4
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-11-10add CoroutineWitness to covered typesOğuz Ağcayazı-0/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 11:08:49 +0000